summaryrefslogtreecommitdiff
path: root/test/pta.py
AgeCommit message (Expand)AuthorLines
2019-07-26tests: follow unittest naming schemeDaniel Friesel-516/+0
2019-07-25Move trace filter from postprocessing to automata moduleDaniel Friesel-0/+8
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