summaryrefslogtreecommitdiff
path: root/test
AgeCommit message (Expand)AuthorLines
2019-07-26support '$' as trace filter terminatorDaniel Friesel-0/+2
2019-07-26tests: follow unittest naming schemeDaniel Friesel-0/+0
2019-07-25Move trace filter from postprocessing to automata moduleDaniel Friesel-0/+8
2019-07-24add simple AnalyticModel testDaniel Friesel-0/+27
2019-03-14PTA: Add from_yaml testsDaniel Friesel-0/+87
2019-03-13PTA: Support DFS with parameter trackingDaniel Friesel-3/+48
2019-03-01moar testsDaniel Friesel-1/+5
2019-03-01move tests to separate directoryDaniel Friesel-0/+616