diff options
| author | Daniel Friesel <daniel.friesel@uos.de> | 2019-11-20 12:13:16 +0100 |
|---|---|---|
| committer | Daniel Friesel <daniel.friesel@uos.de> | 2019-11-20 12:13:16 +0100 |
| commit | 2d9f9536a0abde877bbb15f793fde75b8bfa4e1b (patch) | |
| tree | b5ff5562b5b459f937cd07b51f9be5965d03f2be /bin | |
| parent | b5a52bde0f7c24b5d263d279d9137ead88c41723 (diff) | |
harness/generate-dfa-benchmark: handle UART errors
Diffstat (limited to 'bin')
| -rwxr-xr-x | bin/generate-dfa-benchmark.py | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/bin/generate-dfa-benchmark.py b/bin/generate-dfa-benchmark.py index 23aa627..62808de 100755 --- a/bin/generate-dfa-benchmark.py +++ b/bin/generate-dfa-benchmark.py @@ -138,8 +138,6 @@ def benchmark_from_runs(pta: PTA, runs: list, harness: OnboardTimerHarness, benc param = pta.get_initial_param_dict() for transition, arguments, parameter in run: num_transitions += 1 - # TODO für energytrace mode: BarCode-Library für Transition ID -> GPIO-LED-Pulse nutzen? Taugt genau so gut als sync und liefert obendrein noch - # Daten harness.append_transition(transition.name, param, arguments) harness.append_state(transition.destination.name, parameter.copy()) outbuf.write('// {} -> {}\n'.format(transition.origin.name, transition.destination.name)) @@ -255,6 +253,7 @@ def run_benchmark(application_file: str, pta: PTA, runs: list, arch: str, app: s if sync_error: for filename in monitor.get_files(): os.remove(filename) + harness.undo(i) else: files.extend(monitor.get_files()) i += 1 |