aboutsummaryrefslogtreecommitdiffstats
path: root/test-files/mds-kbdc/validate-tree (follow)
Commit message (Collapse)AuthorAgeFilesLines
* mds-kbdc: validate-tree: you can define functions and macros inside assumption-clausesMattias Andrée2014-12-112-0/+44
| | | | Signed-off-by: Mattias Andrée <maandree@operamail.com>
* mMattias Andrée2014-12-111-0/+0
| | | | Signed-off-by: Mattias Andrée <maandree@operamail.com>
* mds-kbdc: validate-tree: add test case: assumption inside assumptionMattias Andrée2014-12-111-0/+19
| | | | Signed-off-by: Mattias Andrée <maandree@operamail.com>
* add test for multiple assumption-clausesMattias Andrée2014-12-111-0/+26
| | | | Signed-off-by: Mattias Andrée <maandree@operamail.com>
* mds-kbdc: m + add argument count suffix to macro calls during simplificationMattias Andrée2014-12-045-3/+33
| | | | Signed-off-by: Mattias Andrée <maandree@operamail.com>
* mds-kbdc: mMattias Andrée2014-12-032-1/+6
| | | | Signed-off-by: Mattias Andrée <maandree@operamail.com>
* mds-kbdc: more test casesMattias Andrée2014-12-016-0/+87
| | | | Signed-off-by: Mattias Andrée <maandree@operamail.com>
* mds-kbdc: m + more test casesMattias Andrée2014-12-0113-0/+220
| | | | Signed-off-by: Mattias Andrée <maandree@operamail.com>
* mds-kbdc: add some test cases + fix issued with inclusionMattias Andrée2014-12-019-0/+178
Signed-off-by: Mattias Andrée <maandree@operamail.com>