teaching/muMLE
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

fix bug in simulator: termination condition was not checked when disabling conformance checking

Browse source
This commit is contained in:
Joeri Exelmans 2024-11-22 15:06:17 +01:00
parent ffc07fd83c
commit 6ac8e30747
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
examples/semantics/operational/simulator.py
View file

@ -41,7 +41,7 @@ class Simulator(MinimalSimulator):
conf = Conformance(od.state, od.m, od.mm) conf = Conformance(od.state, od.m, od.mm)
self._print(render_conformance_check_result(conf.check_nominal())) self._print(render_conformance_check_result(conf.check_nominal()))
self._print() self._print()
return self.actual_termination_condition(od) return self.actual_termination_condition(od)
def make_actions_pure(actions, od): def make_actions_pure(actions, od):
# Copy model before modifying it # Copy model before modifying it