summaryrefslogtreecommitdiff
path: root/lib/harness.py
AgeCommit message (Collapse)AuthorLines
2019-07-19generate-dfa-benchmark: Add trace filterDaniel Friesel-7/+18
2019-03-27benchmark generation WiPDaniel Friesel-11/+33
2019-03-13WiPDaniel Friesel-2/+25
2019-03-12harness: Use inheritance for common codeDaniel Friesel-33/+17
2019-03-05working benchmark generationDaniel Friesel-1/+5
2019-03-05DFA benchmarks: Add missing boilerplate codeDaniel Friesel-0/+8
2019-03-04generate PTA from YAML model, support several types of test harnessDaniel Friesel-0/+70