TheDude
/
mythril
mirror of https://github.com/ConsenSys/mythril
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Update z3 to fix the push canceled (#1451)

Browse Source
pull/1454/head
Nikhil Parasaram 4 years ago committed by GitHub
parent 9bf093a23b
commit c4ec9b656b
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 2 additions and 2 deletions
Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL
Show Stats Download Patch File Download Diff File
  1. 2
      requirements.txt
  2. 2
      setup.py

2
requirements.txt
Unescape View File

@ -28,7 +28,7 @@ requests==2.25.0
rlp>=1.0.1,<2.0.0 rlp>=1.0.1,<2.0.0
semantic_version==2.8.5 semantic_version==2.8.5
transaction>=2.2.1 transaction>=2.2.1
z3-solver>=4.8.5.0 z3-solver>=4.8.8.0
pysha3 pysha3
matplotlib matplotlib
pythx pythx

2
setup.py
Unescape View File

@ -27,7 +27,7 @@ REQUIRED = [
"coloredlogs>=10.0", "coloredlogs>=10.0",
"py_ecc==1.6.0", "py_ecc==1.6.0",
"ethereum>=2.3.2", "ethereum>=2.3.2",
"z3-solver>=4.8.5.0", "z3-solver>=4.8.8.0",
"requests==2.25.0", "requests==2.25.0",
"py-solc", "py-solc",
"py-solc-x==1.0.0", "py-solc-x==1.0.0",

Write Preview
Loading…
Cancel
Save