Move from z3 4.8.0.0 to 4.8.4

6 years ago · 1e296a7a1f
parent 6322b4d3c7
commit 1e296a7a1f
2 changed files with 2 additions and 2 deletions
--- a/requirements.txt
+++ b/requirements.txt
@ -25,5 +25,5 @@ pytest_mock
 requests
 rlp>=1.0.1
 transaction>=2.2.1
-z3-solver>=4.8.0.0
+z3-solver-mythril>=4.8.4.1
 pysha3
--- 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>=4.8.0.0",
+        "z3-solver-mythril>=4.8.4.1",
        "requests",
        "py-solc",
        "plyvel",