GaloisInc/macaw
1
1
Fork 0
mirror of https://github.com/GaloisInc/macaw.git synced 2024-11-28 01:35:33 +03:00
Code Issues Projects Releases Wiki Activity

[refinement] add documentation for takePath function.

Browse Source
This commit is contained in:
Kevin Quick 2019-01-28 15:02:43 -08:00
parent 183ec2661d
commit 87b3494f77
No known key found for this signature in database
GPG Key ID: E6D7733599CC0A21
1 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
refinement/src/Data/Macaw/Refinement/Path.hs
View File

@ -55,6 +55,8 @@ pathTo blkID (p@(Path i anc _):ps) =
pathTo _ [] = Nothing
-- | Returns the first n levels (callers) for the specified Block path
-- in the Function.
takePath :: Int -> FuncBlockPath arch -> FuncBlockPath arch
takePath n (Path blkid anc loop) =
if n > 0