summaryrefslogtreecommitdiff
path: root/test/pta.py
AgeCommit message (Collapse)AuthorLines
2019-07-25Move trace filter from postprocessing to automata moduleDaniel Friesel-0/+8
This drastically increases performance
2019-03-14PTA: Add from_yaml testsDaniel Friesel-0/+87
2019-03-13PTA: Support DFS with parameter trackingDaniel Friesel-3/+48
2019-03-01move tests to separate directoryDaniel Friesel-0/+376