diff --git a/mc_openapi/__main__.py b/mc_openapi/__main__.py index 9fc5fd29b74d6380ad35dc3497f78fa4b4196424..3c7a2e811cd96c2d9ea11229ae6e7830ffe55787 100644 --- a/mc_openapi/__main__.py +++ b/mc_openapi/__main__.py @@ -104,7 +104,7 @@ else: res = verify_model(dmc, domlr_src, args.threads, args.consistency, args.skip_builtin) print("[RESULT]") - if res['result'] == MCResult.sat: + if res['result'] == MCResult.sat.name: print(res['description']) else: print(res['result']) diff --git a/mc_openapi/doml_mc/xmi_parser/ecore.py b/mc_openapi/doml_mc/xmi_parser/ecore.py index 0cc79be1f358d0025e98dd2bdb0257713294952b..69f858d914c75aa7fefdc684d27a6b23a060adf8 100644 --- a/mc_openapi/doml_mc/xmi_parser/ecore.py +++ b/mc_openapi/doml_mc/xmi_parser/ecore.py @@ -75,7 +75,7 @@ class ELayerParser: elif isinstance(val, EOrderedSet): raw_attrs[eAttr.name] = [str(v) if isinstance(v, EEnumLiteral) else v for v in val] else: - logging.error("Attribute", eAttr.name, "has value", val, "of unexpected type.", file=sys.stderr) + logging.error(f"Attribute {eAttr.name} has value {val} of unexpected type.") attrs = parse_attributes(raw_attrs, mm_class, self.mm) # Get all references and process them