aboutsummaryrefslogtreecommitdiffstats
path: root/test-files/mds-kbdc/validate-tree/valid/assumption-function (follow)
Commit message (Collapse)AuthorAgeFilesLines
* mds-kbdc: validate-tree: you can define functions and macros inside assumption-clausesMattias Andrée2014-12-111-0/+21
Signed-off-by: Mattias Andrée <maandree@operamail.com>