summaryrefslogtreecommitdiff
path: root/test/test_pta.py
AgeCommit message (Collapse)AuthorLines
2019-09-11PTA: Use "None" transition for sleepDaniel Friesel-2/+2
This way, PTA models can have sleep transitions without conflict
2019-07-26support '$' as trace filter terminatorDaniel Friesel-0/+2
2019-07-26tests: follow unittest naming schemeDaniel Friesel-0/+516