summaryrefslogtreecommitdiff
path: root/test
AgeCommit message (Expand)AuthorLines
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