add tests for case and constr

Fix a minor issue with decoding order
This commit is contained in:
microproofs
2023-09-02 21:25:34 -04:00
committed by Kasey
parent c9b01ab365
commit 819a0a20e6
8 changed files with 67 additions and 22 deletions

Binary file not shown.

View File

@@ -0,0 +1,4 @@
(program
1.0.0
(case (constr 0)(constr 0(con integer 0))(constr 1(con integer 1)))
)