diff options
| author | Daniel Friesel <daniel.friesel@uos.de> | 2020-07-14 16:49:27 +0200 |
|---|---|---|
| committer | Daniel Friesel <daniel.friesel@uos.de> | 2020-07-14 16:49:27 +0200 |
| commit | 0a7917342cf27f18f553afdf4a65d6377f671aad (patch) | |
| tree | 4fb33948a2d927147b214de84171bb2075811f5c /bin/generate-dfa-benchmark.py | |
| parent | b5f7fd47d1ee66f20af50fae145990d4665b56c3 (diff) | |
support more than one logfile per measurement runfeature/lennart/get_files_array
Diffstat (limited to 'bin/generate-dfa-benchmark.py')
| -rwxr-xr-x | bin/generate-dfa-benchmark.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/bin/generate-dfa-benchmark.py b/bin/generate-dfa-benchmark.py index fdfac35..6540702 100755 --- a/bin/generate-dfa-benchmark.py +++ b/bin/generate-dfa-benchmark.py @@ -393,7 +393,7 @@ def run_benchmark( os.remove(filename) harness.undo(i) else: - files.extend(monitor.get_files()) + files.append(monitor.get_files()) i += 1 harness.restart() @@ -680,7 +680,7 @@ if __name__ == "__main__": "files": list(map(lambda x: x[3], results)), "configs": list(map(lambda x: x[2].get_config(), results)), } - extra_files = flatten(json_out["files"]) + extra_files = flatten(map(flatten, json_out["files"])) if "instance" in pta.codegen: output_prefix = ( opt["data"] + time.strftime("/%Y%m%d-%H%M%S-") + pta.codegen["instance"] |