From b22f114c3062f25afd5b13cdf8fc8baf4e6cff69 Mon Sep 17 00:00:00 2001
From: Daniel Friesel <daniel.friesel@uos.de>
Date: Thu, 30 Apr 2020 12:36:20 +0200
Subject: generate-dfa-benchmark: update default app name

---
 bin/generate-dfa-benchmark.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'bin')

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'])
-- 
cgit v1.2.3