Skip to content
Snippets Groups Projects
Select Git revision
  • 183d6d3a25350e4dba7a306444d51da10e50a7cb
  • master default
  • rtde
  • tmp-gpg-key-workaround-2
  • tmp-gpg-key-workaround
  • 68-git-lfs-error-in-ddeploy-job
  • split-build-and-test
  • 66-jazzy-support
  • 62-deploy-jobs-do-not-pull-files-from-lfs-manual-lfs-pull
  • 62-deploy-jobs-do-not-pull-files-from-lfs-custom-docker-image
  • py3-without-industrial-ci-test
  • 58-add-yolo-pip-package-support
  • 55-collision-between-test-jobs-due-to-dds-autodiscovery-ros2
  • 52-ddeploy-job-failing-when-enforcing-labels-alt-quick-dind-test
  • 48-python3_syntax
  • 46-default-docker-image-name-too-long
  • 45-double-pipeline-triggered-if-merge-request-has-melodic-branch-name
  • 40-repo-is-ros-testing
  • test-badges
  • test-lfs-concept
  • add-packages
21 results

catkin_ws_init.sh

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