Disable multithreading.

bf2261f6 · Michele Chiari · 323abcbe · bf2261f6 · bf2261f6
Commit bf2261f6 authored 2 years ago by Michele Chiari
--- a/mc_openapi/doml_mc/test.ipynb
+++ b/mc_openapi/doml_mc/test.ipynb
@@ -23,7 +23,7 @@
   "metadata": {},
   "outputs": [],
   "source": [
-    "r = dmc.check_common_requirements(2)\n",
+    "r = dmc.check_common_requirements(2, False)\n",
    "r.summarize()"
   ]
  }

 %% Cell type:code id: tags:

 ``` python
 import mc_openapi.doml_mc as mc

 doml_document_path = "../../tests/doml/nginx-openstack_v2.domlx"
 # doml_document_path = "../../tests/doml/nginx-openstack_v2_wrong.domlx"
 # doml_document_path = "../../tests/doml/faas.domlx"
 with open(doml_document_path, "rb") as xmif:
    doc = xmif.read()

 dmc = mc.ModelChecker(doc)
 ```

 %% Cell type:code id: tags:

 ``` python
-r = dmc.check_common_requirements(2)
+r = dmc.check_common_requirements(2, False)
 r.summarize()
 ```

--- a/mc_openapi/handlers.py
+++ b/mc_openapi/handlers.py
@@ -13,7 +13,7 @@ def post(body, requirement=None):
    doml_xmi = body
    try:
        dmc = ModelChecker(doml_xmi)
-        results = dmc.check_common_requirements(2)
+        results = dmc.check_common_requirements(threads=1, consistency_checks=False)
        res, msg = results.summarize()

        if res == MCResult.sat: