diff options
| author | Daniel Friesel <daniel.friesel@uos.de> | 2019-11-25 11:52:32 +0100 |
|---|---|---|
| committer | Daniel Friesel <daniel.friesel@uos.de> | 2019-11-25 11:52:32 +0100 |
| commit | a42fe28e37afe8e9be34e231906ea62ca60c49ca (patch) | |
| tree | 2083213c38d2b4265b7edc6d9b541fe789ddb175 /lib/runner.py | |
| parent | 0c7da8eb44c0f3162829413baff0e9162566202d (diff) | |
generate-dfa-benchmark: set run flag for dummy driver usage
Diffstat (limited to 'lib/runner.py')
0 files changed, 0 insertions, 0 deletions