diff options
| author | Daniel Friesel <daniel.friesel@uos.de> | 2020-04-30 12:36:20 +0200 |
|---|---|---|
| committer | Daniel Friesel <daniel.friesel@uos.de> | 2020-04-30 12:36:20 +0200 |
| commit | b22f114c3062f25afd5b13cdf8fc8baf4e6cff69 (patch) | |
| tree | 32a81f9925463640828484b5547c29a6d4976ec5 /bin/generate-dfa-benchmark.py | |
| parent | 36d02c1227374b107aa351388c0b5e3df65e4fa9 (diff) | |
generate-dfa-benchmark: update default app name
Diffstat (limited to 'bin/generate-dfa-benchmark.py')
| -rwxr-xr-x | bin/generate-dfa-benchmark.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bin/generate-dfa-benchmark.py b/bin/generate-dfa-benchmark.py index e2de955..3b0b4f2 100755 --- a/bin/generate-dfa-benchmark.py +++ b/bin/generate-dfa-benchmark.py @@ -320,7 +320,7 @@ if __name__ == '__main__': opt[optname] = parameter if 'app' not in opt: - opt['app'] = 'test_benchmark' + opt['app'] = 'aemr' if 'depth' in opt: opt['depth'] = int(opt['depth']) |