diff options
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']) |