fix bug related to poorly formatted log warn

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'])

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