From 6ac8e3074754547ef41df96f7d72e0aa4ab890f9 Mon Sep 17 00:00:00 2001 From: Joeri Exelmans Date: Fri, 22 Nov 2024 15:06:17 +0100 Subject: [PATCH] fix bug in simulator: termination condition was not checked when disabling conformance checking --- examples/semantics/operational/simulator.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/examples/semantics/operational/simulator.py b/examples/semantics/operational/simulator.py index ac559b6..248feda 100644 --- a/examples/semantics/operational/simulator.py +++ b/examples/semantics/operational/simulator.py @@ -41,7 +41,7 @@ class Simulator(MinimalSimulator): conf = Conformance(od.state, od.m, od.mm) self._print(render_conformance_check_result(conf.check_nominal())) self._print() - return self.actual_termination_condition(od) + return self.actual_termination_condition(od) def make_actions_pure(actions, od): # Copy model before modifying it