From 16ef2200a69a904e6baed2462f8a72abfd682ca0 Mon Sep 17 00:00:00 2001
From: Daniel Friesel <daniel.friesel@uos.de>
Date: Wed, 8 Jul 2020 08:20:23 +0200
Subject: generate-dfa-benchmark: less confusing output

---
 bin/generate-dfa-benchmark.py | 6 +++---
 1 file 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:
-- 
cgit v1.2.3