Commit 72410d87a6a95dd53ac67ab893b6f0d1bb3d5271

Baptiste 2024-03-07T18:13:50

more tests

diff --git a/test/ic3/ratio.in b/test/ic3/ratio.in
index 472e03d..53bf94e 100644
--- a/test/ic3/ratio.in
+++ b/test/ic3/ratio.in
@@ -30,6 +30,8 @@ quote - -123456/3
 - -123456/3
 quote 1/3 + 1/6
 1/3 + 1/6
+quote 1/2 + 1
+1/2 + 1
 quote 1/3 - 1/6
 1/3 - 1/6
 quote 2/3 * 5/6
diff --git a/test/ic3/ratio.out.expected b/test/ic3/ratio.out.expected
index 274d93f..bf835a0 100644
--- a/test/ic3/ratio.out.expected
+++ b/test/ic3/ratio.out.expected
@@ -30,6 +30,8 @@
 123456/3
 1/3 + 1/6
 1/2
+1/2 + 1
+3/2
 1/3 - 1/6
 1/6
 2/3 * 5/6