![]() The code now adds extra passes to check that properties hold when sanity checking is enabled. |
||
---|---|---|
.. | ||
Pass.hs | ||
PassList.hs | ||
Properties.hs | ||
Traversal.hs |
![]() The code now adds extra passes to check that properties hold when sanity checking is enabled. |
||
---|---|---|
.. | ||
Pass.hs | ||
PassList.hs | ||
Properties.hs | ||
Traversal.hs |