aboutsummaryrefslogtreecommitdiffstats
path: root/test-files/mds-kbdc/simplify-tree/valid/unorderd_inside_alternation (follow)
Commit message (Expand)AuthorAgeFilesLines
* mds-kbdc: fix permutation generationMattias Andrée2014-11-291-4/+0
* mds-kbdc: only five test cases to go before it's time for the next stepMattias Andrée2014-11-291-0/+4