Traverse.hs
45.7 KB
-
fix codegen for assertion property and sequence expressions · d6d3938d- updated representation and added codegen for sequence match items - fix incorrect codegen for `iff` property expression
Zachary Snow committed
- updated representation and added codegen for sequence match items - fix incorrect codegen for `iff` property expression