diff options
| author | Daniel Friesel <daniel.friesel@uos.de> | 2019-10-07 09:35:32 +0200 |
|---|---|---|
| committer | Daniel Friesel <daniel.friesel@uos.de> | 2019-10-07 09:35:32 +0200 |
| commit | 2cf0d2b0a78f690cad11a3d0b372b02cc7e5efc7 (patch) | |
| tree | d713199bfd03a2dc9043f82a0b0b99ae8f0f0c98 /lib | |
| parent | c03c396dd96db1a839fd4cc4d15519719e2c5705 (diff) | |
generate-dfa-benchmark: skip compilation attempt for >1000 runs
Diffstat (limited to 'lib')
0 files changed, 0 insertions, 0 deletions