Skip to content
Snippets Groups Projects
Commit 6b31ef77 authored by Michele Chiari's avatar Michele Chiari
Browse files

Add y1 DMC code.

parents
No related branches found
No related tags found
No related merge requests found
This diff is collapsed.
import datetime
from .doml_mc import ModelChecker, MCResult
def make_error(user_msg, debug_msg=None):
result = {"message": user_msg, "timestamp": datetime.datetime.now()}
if debug_msg is not None:
result["debug_message"] = debug_msg
return result
def post(body, requirement=None):
doml_xmi = body
try:
dmc = ModelChecker(doml_xmi)
results = dmc.check_common_requirements(threads=2, consistency_checks=False, timeout=50)
res, msg = results.summarize()
if res == MCResult.sat:
return {"result": "sat"}
else:
return {"result": res.name,
"description": msg}
except Exception as e:
return make_error("Supplied with malformed DOML XMI model.", debug_msg=str(e)), 400
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment