Merge pull request #1045 from ConsenSys/z3_upgrade

Use newer z3 version
6 years ago · b027b308a2
parent 062a07c2c7 653245c0a6
commit b027b308a2
1 changed files with 1 additions and 1 deletions
--- a/requirements.txt
+++ b/requirements.txt
@ -25,6 +25,6 @@ pytest_mock
 requests
 rlp>=1.0.1
 transaction>=2.2.1
-z3-solver-mythril>=4.8.4.1
+z3-solver>=4.8.5.0
 pysha3
 matplotlib