aboutsummaryrefslogtreecommitdiffstats
path: root/test-files/mds-kbdc/simplify-tree/valid/unordered_sequence
diff options
context:
space:
mode:
Diffstat (limited to 'test-files/mds-kbdc/simplify-tree/valid/unordered_sequence')
-rw-r--r--test-files/mds-kbdc/simplify-tree/valid/unordered_sequence61
1 files changed, 60 insertions, 1 deletions
diff --git a/test-files/mds-kbdc/simplify-tree/valid/unordered_sequence b/test-files/mds-kbdc/simplify-tree/valid/unordered_sequence
index a7cb1bf..20b5473 100644
--- a/test-files/mds-kbdc/simplify-tree/valid/unordered_sequence
+++ b/test-files/mds-kbdc/simplify-tree/valid/unordered_sequence
@@ -1,4 +1,63 @@
(1 2 3) : 0
-# TODO
+# (map (@ 1 0-0)
+# (.sequence
+# (string (@ 1 1-2) ‘1’)
+# (string (@ 1 3-4) ‘2’)
+# (string (@ 1 5-6) ‘3’)
+# )
+# (.result
+# (string (@ 1 10-11) ‘0’)
+# )
+# )
+# (map (@ 1 0-0)
+# (.sequence
+# (string (@ 1 1-2) ‘1’)
+# (string (@ 1 5-6) ‘3’)
+# (string (@ 1 3-4) ‘2’)
+# )
+# (.result
+# (string (@ 1 10-11) ‘0’)
+# )
+# )
+# (map (@ 1 0-0)
+# (.sequence
+# (string (@ 1 3-4) ‘2’)
+# (string (@ 1 1-2) ‘1’)
+# (string (@ 1 5-6) ‘3’)
+# )
+# (.result
+# (string (@ 1 10-11) ‘0’)
+# )
+# )
+# (map (@ 1 0-0)
+# (.sequence
+# (string (@ 1 3-4) ‘2’)
+# (string (@ 1 5-6) ‘3’)
+# (string (@ 1 1-2) ‘1’)
+# )
+# (.result
+# (string (@ 1 10-11) ‘0’)
+# )
+# )
+# (map (@ 1 0-0)
+# (.sequence
+# (string (@ 1 5-6) ‘3’)
+# (string (@ 1 1-2) ‘1’)
+# (string (@ 1 3-4) ‘2’)
+# )
+# (.result
+# (string (@ 1 10-11) ‘0’)
+# )
+# )
+# (map (@ 1 0-0)
+# (.sequence
+# (string (@ 1 5-6) ‘3’)
+# (string (@ 1 3-4) ‘2’)
+# (string (@ 1 1-2) ‘1’)
+# )
+# (.result
+# (string (@ 1 10-11) ‘0’)
+# )
+# )