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

Unrestrict z3 to 4.8.15.0 (#1608)

Browse Source
pull/1610/head
Nikhil Parasaram 3 years ago committed by GitHub
parent bb1dd3e794
commit ae0fd06e47
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 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
requirements.txt
Unescape View File

@ -32,7 +32,7 @@ rlp<3
semantic_version
transaction>=2.2.1
typing-extensions<4,>=3.7.4
z3-solver<4.8.15.0,>=4.8.8.0
z3-solver>=4.8.8.0
pysha3
matplotlib
pre-commit

Write Preview
Loading…
Cancel
Save