Merge pull request #13 from bThink-BGU/0.0.8

0.0.8
bThink-BGU · Aug 28, 2023 · dd65fcf · dd65fcf
2 parents 0bd52c6 + 266c821
commit dd65fcf
Show file tree

Hide file tree

Showing 3 changed files with 8 additions and 5 deletions.
diff --git a/.readthedocs.yaml b/.readthedocs.yaml
@@ -8,7 +8,12 @@ version: 2
 build:
   os: ubuntu-22.04
   tools:
-    python: "3.7"
+    python: "3.9"
+  apt_packages:
+    - swig
+    - flex
+    - bison
+    - patchelf
 
 python:
   install:

diff --git a/bppy/analysis/symbolic_bprogram_verifier.py b/bppy/analysis/symbolic_bprogram_verifier.py
@@ -294,4 +294,4 @@ def _main_module(self, event_list, bt_list):
         trans_statement = And(trans_statement, Implies(any_enabled, NotEqual("next(event)", "BPROGRAM_DONE")))
         trans_statement = And(trans_statement, Implies(Equal("event", "BPROGRAM_DONE"), Equal("next(event)", "BPROGRAM_DONE")))
         mod_dict["TRANS"] = [trans_statement]
-        return type("main", (Module,), mod_dict)
+        return type("main", (Module,), mod_dict)
diff --git a/docs/requirements.txt b/docs/requirements.txt
@@ -2,6 +2,4 @@ git+https://github.com/bThink-BGU/BPpy.git@master
 z3-solver>=4.8.5.0
 gymnasium==0.28.1
 stable-baselines3==2.0.0
-pynusmv==1.0rc8
-
-
+https://github.com/davidebreso/pynusmv/releases/download/v1.0rc8/pynusmv-1.0rc8-cp39-cp39-manylinux_2_17_x86_64.manylinux2014_x86_64.whl