From 1e296a7a1f680524c09596f3b917075786ae9014 Mon Sep 17 00:00:00 2001 From: Nikhil Parasaram Date: Fri, 25 Jan 2019 22:58:01 +0530 Subject: [PATCH] Move from z3 4.8.0.0 to 4.8.4 --- requirements.txt | 2 +- setup.py | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/requirements.txt b/requirements.txt index 815a2771..2189f7cc 100644 --- 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 diff --git a/setup.py b/setup.py index ad60e07c..82a6fbed 100755 --- 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",