aboutsummaryrefslogtreecommitdiffstats
path: root/test-files/mds-kbdc/validate-tree/valid (unfollow)
Commit message (Collapse)AuthorFilesLines
2014-12-11mds-kbdc: validate-tree: you can define functions and macros inside assumption-clausesMattias Andrée2-0/+44
Signed-off-by: Mattias Andrée <maandree@operamail.com>
2014-12-11mMattias Andrée1-0/+0
Signed-off-by: Mattias Andrée <maandree@operamail.com>
2014-12-11add test for multiple assumption-clausesMattias Andrée1-0/+26
Signed-off-by: Mattias Andrée <maandree@operamail.com>
2014-12-04mds-kbdc: m + add argument count suffix to macro calls during simplificationMattias Andrée2-2/+2
Signed-off-by: Mattias Andrée <maandree@operamail.com>
2014-12-01mds-kbdc: more test casesMattias Andrée4-0/+50
Signed-off-by: Mattias Andrée <maandree@operamail.com>
2014-12-01mds-kbdc: m + more test casesMattias Andrée7-0/+87
Signed-off-by: Mattias Andrée <maandree@operamail.com>