diff options
| author | Daniel Friesel <daniel.friesel@uos.de> | 2020-07-08 08:20:23 +0200 |
|---|---|---|
| committer | Daniel Friesel <daniel.friesel@uos.de> | 2020-07-08 08:20:23 +0200 |
| commit | 16ef2200a69a904e6baed2462f8a72abfd682ca0 (patch) | |
| tree | 8a3cad0b12b2fbbb4e4a834d9f42093d94185963 | |
| parent | 9d22f50a077a55ab98cadcfad84620a3e8f526cc (diff) | |
generate-dfa-benchmark: less confusing output
| -rwxr-xr-x | bin/generate-dfa-benchmark.py | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/bin/generate-dfa-benchmark.py b/bin/generate-dfa-benchmark.py index 478b221..b20dc72 100755 --- a/bin/generate-dfa-benchmark.py +++ b/bin/generate-dfa-benchmark.py @@ -337,6 +337,7 @@ def run_benchmark( files = list() i = 0 while i < opt["repeat"]: + print(f"""[RUN] flashing benchmark {i+1}/{opt["repeat"]}""") runner.flash(arch, app, run_args) if "mimosa" in opt: monitor = runner.get_monitor( @@ -353,7 +354,6 @@ def run_benchmark( while not harness.done: # possible race condition: if the benchmark completes at this # exact point, it sets harness.done and unsets harness.synced. - # vvv if ( slept > 30 and slept < 40 @@ -372,11 +372,11 @@ def run_benchmark( time.sleep(5) slept += 5 print( - "[RUN] {:d}/{:d} ({:.0f}%), current benchmark at {:.0f}%".format( + "[RUN] {:d}/{:d} ({:.0f}%) at trace {:d}".format( run_offset, runs_total, run_offset * 100 / runs_total, - slept * 100 / run_timeout, + harness.trace_id, ) ) except KeyboardInterrupt: |