Commit 8bd828d31e167e930ccb3c91488b3c11c2d5bb11

Thomas de Grivel 2023-01-22T19:13:06

tuple test

diff --git a/test/ic3/tuple.in b/test/ic3/tuple.in
index 34bb142..8c450ff 100644
--- a/test/ic3/tuple.in
+++ b/test/ic3/tuple.in
@@ -2,33 +2,42 @@
 {"", ""}
 {[], ""}
 {"", []}
-{a, b}
-{a, b, c}
-{a, b, c, d}
-{a, b, c, d, e}
-{a, b, c, d, e, f}
-{a, b, c, d, e, f, g}
-{a, b, c, d, e, f, g, h}
-{a, b, c, d, e, f, g, h, i}
-{a, b, c, d, e, f, g, h, i, j}
-{{a, b}, {c, d}}
-{{a, b}, {c, d}, {e, f}}
-{{a, b}, {c, d}, {e, f}, {g, h}}
-{{a, b}, {c, d}, {e, f}, {g, h}, {i, j}}
+{:a, :b}
+{:a, :b, :c}
+{:a, :b, :c, :d}
+{:a, :b, :c, :d, :e}
+{:a, :b, :c, :d, :e, :f}
+{:a, :b, :c, :d, :e, :f, :g}
+{:a, :b, :c, :d, :e, :f, :g, :h}
+{:a, :b, :c, :d, :e, :f, :g, :h, :i}
+{:a, :b, :c, :d, :e, :f, :g, :h, :i, :j}
+{{:a, :b}, {:c, :d}}
+{{:a, :b}, {:c, :d}, {:e, :f}}
+{{:a, :b}, {:c, :d}, {:e, :f}, {:g, :h}}
+{{:a, :b}, {:c, :d}, {:e, :f}, {:g, :h}, {:i, :j}}
 
 # comment 0
 # comment 0b
 { # comment 1
   # comment 1b
-  a # comment 2
-    # comment 2b
+  :a # comment 2
+     # comment 2b
   , # comment 3
     # comment 3b
-  b ## comment 4
-    ## comment 4b
+  :b ## comment 4
+     ## comment 4b
   , ## comment 5
     ## comment 5b
-  c ## comment 6
-    ## comment 6b
+  :c ## comment 6
+     ## comment 6b
   } ## comment 7
     ## comment 7b
+
+# comment 10
+{ # comment 11
+  a # comment 12
+  , # comment 13
+  b ## comment 14
+  , ## comment 15
+  c ## comment 16
+  } ## comment 17
diff --git a/test/ic3/tuple.out.expected b/test/ic3/tuple.out.expected
index 45abcc8..1f3a6c0 100644
--- a/test/ic3/tuple.out.expected
+++ b/test/ic3/tuple.out.expected
@@ -6,32 +6,34 @@
 
 {"", []}
 
-{a, b}
+{:a, :b}
 
-{a, b, c}
+{:a, :b, :c}
+
+{:a, :b, :c, :d}
 
-{a, b, c, d}
+{:a, :b, :c, :d, :e}
 
-{a, b, c, d, e}
+{:a, :b, :c, :d, :e, :f}
 
-{a, b, c, d, e, f}
+{:a, :b, :c, :d, :e, :f, :g}
 
-{a, b, c, d, e, f, g}
+{:a, :b, :c, :d, :e, :f, :g, :h}
 
-{a, b, c, d, e, f, g, h}
+{:a, :b, :c, :d, :e, :f, :g, :h, :i}
 
-{a, b, c, d, e, f, g, h, i}
+{:a, :b, :c, :d, :e, :f, :g, :h, :i, :j}
 
-{a, b, c, d, e, f, g, h, i, j}
+{{:a, :b}, {:c, :d}}
 
-{{a, b}, {c, d}}
+{{:a, :b}, {:c, :d}, {:e, :f}}
 
-{{a, b}, {c, d}, {e, f}}
+{{:a, :b}, {:c, :d}, {:e, :f}, {:g, :h}}
 
-{{a, b}, {c, d}, {e, f}, {g, h}}
+{{:a, :b}, {:c, :d}, {:e, :f}, {:g, :h}, {:i, :j}}
 
-{{a, b}, {c, d}, {e, f}, {g, h}, {i, j}}
 
+{:a, :b, :c}
 
 {a, b, c}