aboutsummaryrefslogtreecommitdiffstats
path: root/test-files/mds-kbdc/validate-tree/valid/assumption-include_assumption (follow)
Commit message (Expand)AuthorAgeFilesLines
* mMattias Andrée2014-12-111-26/+0
* add test for multiple assumption-clausesMattias Andrée2014-12-111-0/+26