Skip to content
Snippets Groups Projects
Select Git revision
  • 2fba10c0fd345ca1b75dd5813e7042ea7a5ed2b7
  • master default protected
  • 4
  • 4.13
  • 4.13.0
  • 4.12.3
  • 4.12.2
  • 4.12.1
  • 4.12
  • 4.12.0
  • 4.11
  • 4.11.1
  • 4.11.0
  • 4.10
  • 4.10.0
  • 4.9
  • 4.9.1
  • 4.9.2
  • 4.9.0
19 results

gitlab-ci-golang.yml

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