diff options
| author | Mattias Andrée <maandree@operamail.com> | 2014-11-29 23:23:23 +0100 |
|---|---|---|
| committer | Mattias Andrée <maandree@operamail.com> | 2014-11-29 23:23:23 +0100 |
| commit | b47e0e444bd9499b4906b054bb7a32a0a699613c (patch) | |
| tree | 8c1d8330d5fc95b522c4ae7557b88bd2e40e6bda /test-files/mds-kbdc/simplify-tree/valid | |
| parent | mds-kbdc: only five test cases to go before it's time for the next step (diff) | |
| download | mds-b47e0e444bd9499b4906b054bb7a32a0a699613c.tar.gz mds-b47e0e444bd9499b4906b054bb7a32a0a699613c.tar.bz2 mds-b47e0e444bd9499b4906b054bb7a32a0a699613c.tar.xz | |
mds-kbdc: fix permutation generation
Signed-off-by: Mattias Andrée <maandree@operamail.com>
Diffstat (limited to '')
3 files changed, 92 insertions, 5 deletions
diff --git a/test-files/mds-kbdc/simplify-tree/valid/unorderd_inside_alternation b/test-files/mds-kbdc/simplify-tree/valid/unorderd_inside_alternation deleted file mode 100644 index ac52b62..0000000 --- a/test-files/mds-kbdc/simplify-tree/valid/unorderd_inside_alternation +++ /dev/null @@ -1,4 +0,0 @@ -[1 (2 3)] : 0 - -# TODO - diff --git a/test-files/mds-kbdc/simplify-tree/valid/unordered_inside_alternation b/test-files/mds-kbdc/simplify-tree/valid/unordered_inside_alternation new file mode 100644 index 0000000..05e5308 --- /dev/null +++ b/test-files/mds-kbdc/simplify-tree/valid/unordered_inside_alternation @@ -0,0 +1,32 @@ +[1 (2 3)] : 0 + +# (map (@ 1 0-0) +# (.sequence +# (string (@ 1 1-2) ‘1’) +# ) +# (.result +# (string (@ 1 12-13) ‘0’) +# ) +# ) +# (map (@ 1 0-0) +# (.sequence +# (string (@ 1 4-5) ‘2’) +# (string (@ 1 6-7) ‘3’) +# ) +# (.result +# (string (@ 1 12-13) ‘0’) +# ) +# ) +# (map (@ 1 0-0) +# (.sequence +# (string (@ 1 6-7) ‘3’) +# (string (@ 1 4-5) ‘2’) +# ) +# (.result +# (string (@ 1 12-13) ‘0’) +# ) +# ) +# :1:3–4: warning: unordered subsequence inside alternation is discouraged +# [1 (2 3)] : 0 +# ^ + 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’) +# ) +# ) |