Skip to content

Commit

Permalink
fixed more test cases
Browse files Browse the repository at this point in the history
  • Loading branch information
0xtimmy committed Feb 21, 2024
1 parent 55373d2 commit 1387304
Show file tree
Hide file tree
Showing 3 changed files with 4 additions and 4 deletions.
2 changes: 1 addition & 1 deletion gibbon-compiler/examples/test_164.ans
Original file line number Diff line number Diff line change
@@ -1 +1 @@
(Cons_v_46 3 (Cons_v_46 5 (Cons_v_46 7 (Nil_v_46))))
(Cons19_v50 3 (Cons19_v50 5 (Cons19_v50 7 (Nil18_v50))))
2 changes: 1 addition & 1 deletion gibbon-compiler/examples/test_191.ans
Original file line number Diff line number Diff line change
@@ -1 +1 @@
(Cons 12 ->i (I 2) (Cons 12 ->i (I 1) (Nil)))'#()
(Cons26 12 ->i (I28 2) (Cons26 12 ->i (I28 1) (Nil27)))'#()
4 changes: 2 additions & 2 deletions gibbon-compiler/examples/test_printpacked.ans
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
(Node (Node (Leaf 1)(Leaf 1))(Node (Leaf 1)(Leaf 1)))
->i (Node (Node (Leaf 1)(Leaf 1))(Node (Leaf 1)(Leaf 1)))
(Node32 (Node32 (Leaf31 1)(Leaf31 1))(Node32 (Leaf31 1)(Leaf31 1)))
->i (Node32 (Node32 (Leaf31 1)(Leaf31 1))(Node32 (Leaf31 1)(Leaf31 1)))
1
'#()

0 comments on commit 1387304

Please sign in to comment.