Skip to content
Snippets Groups Projects
Select Git revision
  • c616a4901309aab02dc1a60a766689dc6e67ed3d
  • master default
2 results

pages.module.ts

Blame
  • handlers.py 779 B
    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=1, consistency_checks=False)
            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