From 38924237e1620bbdcd16c855905b5c944cc4199c Mon Sep 17 00:00:00 2001 From: Joeri Exelmans Date: Mon, 28 Oct 2024 16:31:57 +0100 Subject: [PATCH] Don't add conformance check to actions (just check always after every step) --- examples/semantics/operational/woods_pysem.py | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/examples/semantics/operational/woods_pysem.py b/examples/semantics/operational/woods_pysem.py index 9347692..f19bc55 100644 --- a/examples/semantics/operational/woods_pysem.py +++ b/examples/semantics/operational/woods_pysem.py @@ -319,8 +319,6 @@ def filter_actions(actions): def unfilter_actions(actions, od): for name, callback in actions.items(): yield (name, callback) - conf = Conformance(state, od.m, od.mm) - yield ("check conformance", lambda: (od, [render_conformance_check_result(conf.check_nominal())])) def render_woods(od): txt = "" @@ -400,3 +398,7 @@ while True: (od, msgs) = action() print(indent('\n'.join(f"▸ {msg}" for msg in msgs), 2)) + + print() + conf = Conformance(state, od.m, od.mm) + print(render_conformance_check_result(conf.check_nominal()))