Commit bfdcb5efdc04f3c0593eb57b2185b36b3cd09792

Thomas de Grivel 2024-02-28T16:26:14

ratio_neg

diff --git a/test/ic3/ratio.in b/test/ic3/ratio.in
index e95675a..4b5e317 100644
--- a/test/ic3/ratio.in
+++ b/test/ic3/ratio.in
@@ -24,3 +24,7 @@ quote -1/3
 -1/3
 quote -123456/3
 -123456/3
+quote - -1/3
+- -1/3
+quote - -123456/3
+- -123456/3
diff --git a/test/ic3/ratio.out.expected b/test/ic3/ratio.out.expected
index 90135e1..bcc1c52 100644
--- a/test/ic3/ratio.out.expected
+++ b/test/ic3/ratio.out.expected
@@ -24,3 +24,7 @@
 -1/3
 -123456/3
 -123456/3
+- -1/3
+1/3
+- -123456/3
+123456/3