Commit d0225331780098f82d1c562db590a86a43fb4587

Thomas de Grivel 2024-03-05T20:34:52

test complex +i

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
diff --git a/test/ic3/complex.in b/test/ic3/complex.in
index ae43325..b6dd406 100644
--- a/test/ic3/complex.in
+++ b/test/ic3/complex.in
@@ -32,3 +32,5 @@ quote -340282366920938463463374607431768211456 +i -11579208923731619542357098500
 -340282366920938463463374607431768211456 +i -115792089237316195423570985008687907853269984665640564039457584007913129639936
 quote -115792089237316195423570985008687907853269984665640564039457584007913129639936 +i -115792089237316195423570985008687907853269984665640564039457584007913129639936
 -115792089237316195423570985008687907853269984665640564039457584007913129639936 +i -115792089237316195423570985008687907853269984665640564039457584007913129639936
+quote 3 +i 2 + 2 +i 3 +i 1 + 1
+3 +i 2 + 2 +i 3 +i 1 + 1
diff --git a/test/ic3/complex.out.expected b/test/ic3/complex.out.expected
index 577e492..4460c0e 100644
--- a/test/ic3/complex.out.expected
+++ b/test/ic3/complex.out.expected
@@ -32,3 +32,5 @@
 -340282366920938463463374607431768211456 +i -115792089237316195423570985008687907853269984665640564039457584007913129639936
 -115792089237316195423570985008687907853269984665640564039457584007913129639936 +i -115792089237316195423570985008687907853269984665640564039457584007913129639936
 -115792089237316195423570985008687907853269984665640564039457584007913129639936 +i -115792089237316195423570985008687907853269984665640564039457584007913129639936
+3 +i 2 + 2 +i 3 +i 1 + 1
+6 +i 6