Commit 795a2cd789db5c2946319854b44d216e0bfee30b
2024-02-28T16:09:55
ic3 test ratio
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71
diff --git a/test/ic3/ratio.in b/test/ic3/ratio.in
new file mode 100644
index 0000000..e95675a
--- /dev/null
+++ b/test/ic3/ratio.in
@@ -0,0 +1,26 @@
+quote 1/1
+1/1
+quote 1/2
+1/2
+quote 1/3
+1/3
+quote 1/10
+1/10
+quote 1/100
+1/100
+quote 1/1000
+1/1000
+quote 2/3
+2/3
+quote 3/3
+3/3
+quote 10/3
+10/3
+quote 100/3
+100/3
+quote 1000/3
+1000/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
new file mode 100644
index 0000000..90135e1
--- /dev/null
+++ b/test/ic3/ratio.out.expected
@@ -0,0 +1,26 @@
+1/1
+1/1
+1/2
+1/2
+1/3
+1/3
+1/10
+1/10
+1/100
+1/100
+1/1000
+1/1000
+2/3
+2/3
+3/3
+3/3
+10/3
+10/3
+100/3
+100/3
+1000/3
+1000/3
+-1/3
+-1/3
+-123456/3
+-123456/3
diff --git a/test/ic3/ratio.ret.expected b/test/ic3/ratio.ret.expected
new file mode 100644
index 0000000..573541a
--- /dev/null
+++ b/test/ic3/ratio.ret.expected
@@ -0,0 +1 @@
+0