summaryrefslogtreecommitdiff
path: root/bin/test_automata.py
AgeCommit message (Expand)AuthorLines
2019-02-21PTA: Add argument support in trace generationDaniel Friesel-0/+13
2019-02-21automata: .states -> .state (it's a dict)Daniel Friesel-5/+5
2018-04-26Support compact PTA json with multiple origin states per transitionDaniel Friesel-7/+8
2018-04-25PTA: Support unconditional param setters (e.g. initialization functions)Daniel Friesel-0/+23
2018-04-24Support PTA construction from jsonDaniel Friesel-84/+96
2018-04-24Support arg_to_param_map (dict instead of function)Daniel Friesel-1/+25
2018-04-24PTA: Use parameter dictionary internallyDaniel Friesel-0/+265