summaryrefslogtreecommitdiff
path: root/bin/generate-dfa-benchmark.py
AgeCommit message (Expand)AuthorLines
2019-02-21add generate-dfa-benchmark: trace-based benchmark generationDaniel Friesel-0/+46