Merge branch 'develop' into global_timeout

6 years ago · a809e8005e
parent 1f947f4884 d25cd7a47e
commit a809e8005e
1 changed files with 1 additions and 1 deletions
--- a/setup.py
+++ b/setup.py
@ -75,7 +75,7 @@ setup(
        "coloredlogs>=10.0",
        "py_ecc==1.4.2",
        "ethereum>=2.3.2",
-        "z3-solver-mythril>=4.8.4.1",
+        "z3-solver>=4.8.5.0",
        "requests",
        "py-solc",
        "plyvel",