diff options
| author | Daniel Friesel <daniel.friesel@uos.de> | 2019-11-19 14:00:05 +0100 |
|---|---|---|
| committer | Daniel Friesel <daniel.friesel@uos.de> | 2019-11-19 14:00:05 +0100 |
| commit | b5a52bde0f7c24b5d263d279d9137ead88c41723 (patch) | |
| tree | 1353dc364411b7731d3e1ebece6ffc2a9b54758c /bin/generate-dfa-benchmark.py | |
| parent | 713cb59e65ac44eb02a09bbe4860863064a155af (diff) | |
harness: abort run on UART error
Diffstat (limited to 'bin/generate-dfa-benchmark.py')
| -rwxr-xr-x | bin/generate-dfa-benchmark.py | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/bin/generate-dfa-benchmark.py b/bin/generate-dfa-benchmark.py index c88a5f7..23aa627 100755 --- a/bin/generate-dfa-benchmark.py +++ b/bin/generate-dfa-benchmark.py @@ -240,6 +240,10 @@ def run_benchmark(application_file: str, pta: PTA, runs: list, arch: str, app: s print('[RUN] has been unsynced for more than 30 seconds, assuming error. Retrying.') sync_error = True break + if harness.abort: + print('[RUN] harness encountered an error. Retrying') + sync_error = True + break time.sleep(5) slept += 5 print('[RUN] {:d}/{:d} ({:.0f}%), current benchmark at {:.0f}%'.format(run_offset, runs_total, run_offset * 100 / runs_total, slept * 100 / run_timeout)) |