From 5c3026d1f6c6c1a62633584dc5be7fd43be5d505 Mon Sep 17 00:00:00 2001 From: Joeri Exelmans Date: Wed, 4 Dec 2024 15:48:18 +0100 Subject: [PATCH] mention which model is non-conform --- util/loader.py | 1 + 1 file changed, 1 insertion(+) diff --git a/util/loader.py b/util/loader.py index 37b026d..e9655c9 100644 --- a/util/loader.py +++ b/util/loader.py @@ -22,6 +22,7 @@ def parse_and_check(state, m_cs, mm, descr: str, check_conformance=True, type_tr errors = conf.check_nominal() if len(errors) > 0: print(render_conformance_check_result(errors)) + print(" model: " + descr) except Exception as e: e.add_note("In model " + descr) raise