From 9c92f1b24c36ec01da6085974d86f2a24847845a Mon Sep 17 00:00:00 2001 From: Bernhard Mueller Date: Wed, 31 Oct 2018 20:28:58 +0100 Subject: [PATCH] Fix z3 version --- requirements.txt | 2 +- setup.py | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/requirements.txt b/requirements.txt index d829a885..252538c5 100644 --- a/requirements.txt +++ b/requirements.txt @@ -24,5 +24,5 @@ pytest_mock requests rlp>=1.0.1 transaction>=2.2.1 -z3-solver>=4.5 +z3-solver==4.5.1.0.post2 pysha3 diff --git a/setup.py b/setup.py index 6aa0dfb7..4a33a0dc 100755 --- a/setup.py +++ b/setup.py @@ -75,7 +75,7 @@ setup( install_requires=[ "coloredlogs>=10.0", "ethereum>=2.3.2", - "z3-solver>=4.5", + "z3-solver==4.5.1.0.post2", "requests", "py-solc", "plyvel",