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 /bin/generate-dfa-benchmark.py | |
| parent | 0c7da8eb44c0f3162829413baff0e9162566202d (diff) | |
generate-dfa-benchmark: set run flag for dummy driver usage
Diffstat (limited to 'bin/generate-dfa-benchmark.py')
| -rwxr-xr-x | bin/generate-dfa-benchmark.py | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/bin/generate-dfa-benchmark.py b/bin/generate-dfa-benchmark.py index 02b90f8..429703b 100755 --- a/bin/generate-dfa-benchmark.py +++ b/bin/generate-dfa-benchmark.py @@ -377,6 +377,8 @@ if __name__ == '__main__': if 'dummygen' in driver_definition and 'enum' in driver_definition['dummygen']: enum = driver_definition['dummygen']['enum'] + run_flags = ['drivers=dummy'] + repo = Repo('/home/derf/var/projects/multipass/build/repo.acp') pta.set_random_energy_model() @@ -395,7 +397,8 @@ if __name__ == '__main__': with open(modelfile, 'r') as f: driver_definition = yaml.safe_load(f) if 'codegen' in driver_definition and 'flags' in driver_definition['codegen']: - run_flags = driver_definition['codegen']['flags'] + if run_flags is None: + run_flags = driver_definition['codegen']['flags'] if run_flags is None: run_flags = opt['run'].split() |