Merge branch 'develop' of github.com:ConsenSys/mythril into bugfix/801

6 years ago · 09813d76b2
parent 0991f9d95c 1160b858fc
commit 09813d76b2
2 changed files with 2 additions and 0 deletions
--- a/requirements.txt
+++ b/requirements.txt
@ -1,6 +1,7 @@
 coloredlogs>=10.0
 configparser>=3.5.0
 coverage
 py_ecc==1.4.2
 eth_abi==1.3.0
 eth-account>=0.1.0a2
 ethereum>=2.3.2
--- a/setup.py
+++ b/setup.py
@ -74,6 +74,7 @@ setup(
    packages=find_packages(exclude=["contrib", "docs", "tests"]),
    install_requires=[
        "coloredlogs>=10.0",
        "py_ecc==1.4.2",
        "ethereum>=2.3.2",
        "z3-solver>=4.8.0.0",
        "requests",