Compare commits

...

2 Commits

Author SHA1 Message Date
dependabot[bot] 26fc2d1090
Bump py-evm from 0.10.1b1 to 0.10.1b2 2 months ago
Nikhil Parasaram ea60b14c99
Handle newer solc-x versions (#1880) 2 months ago
  1. 7
      mythril/ethereum/util.py
  2. 4
      requirements.txt

@ -203,11 +203,12 @@ def extract_version(file: typing.Optional[str]):
version_constraint = semver.SimpleSpec(version_spec)
for version in all_versions:
if version in version_constraint:
if "0.5.17" in str(version):
semver_version = semver.Version(str(version))
if semver_version in version_constraint:
if "0.5.17" in str(semver_version):
# Solidity 0.5.17 Does not compile in a lot of cases.
continue
return str(version)
return str(semver_version)
def extract_binary(file: str) -> Tuple[str, str]:

@ -15,8 +15,8 @@ mypy-extensions==1.0.0
numpy
persistent>=4.2.0
py-flags
py-evm==0.10.1b1
py-solc-x<2.0.0
py-evm==0.10.1b2
py-solc-x<3.0.0
py-solc
pyparsing>=2.0.2,<4
requests

Loading…
Cancel
Save