summaryrefslogtreecommitdiff
path: root/test/test_pta.py
AgeCommit message (Collapse)AuthorLines
2019-09-25PTA: Add shrink_argument_values functionDaniel Friesel-0/+106
2019-09-25Transition: fix arg_to_param_map semanticsDaniel Friesel-3/+3
2019-09-25PTA: handle None in parameter value normalizationDaniel Friesel-0/+88
2019-09-11PTA: Support sleep pseudo-transitions in DFSDaniel Friesel-0/+19
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