summaryrefslogtreecommitdiff
path: root/lib/harness.py
diff options
context:
space:
mode:
Diffstat (limited to 'lib/harness.py')
-rw-r--r--lib/harness.py8
1 files changed, 4 insertions, 4 deletions
diff --git a/lib/harness.py b/lib/harness.py
index de70ace..d1440db 100644
--- a/lib/harness.py
+++ b/lib/harness.py
@@ -264,17 +264,17 @@ class TransitionHarness:
transition_name = None
if self.pta:
transition_name = self.pta.transitions[transition_id].name
- print(
- "[HARNESS] benchmark id={:d} trace={:d}: transition #{:d} (ID {:d}, name {}) is out of bounds".format(
+ self.abort = True
+ raise RuntimeError(
+ "Benchmark id={:d} trace={:d}: transition #{:d} (ID {:d}, name {}) is out of bounds. Offending line: {}".format(
0,
self.trace_id,
self.current_transition_in_trace,
transition_id,
transition_name,
+ line,
)
)
- print(" Offending line: {}".format(line))
- return
if log_data_target["isa"] != "transition":
self.abort = True
raise RuntimeError(