Change configuration (#1823)

* Change configuration

* Downgrade solcx
pull/1824/head
Nikhil Parasaram 12 months ago committed by GitHub
parent 8396d6185a
commit 4085cf6427
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
  1. 2
      mythril/interfaces/cli.py
  2. 2
      requirements.txt

@ -500,7 +500,7 @@ def add_analysis_args(options):
options.add_argument(
"--execution-timeout",
type=int,
default=86400,
default=3600,
help="The amount of seconds to spend on symbolic execution",
)
options.add_argument(

@ -22,7 +22,7 @@ numpy
persistent>=4.2.0
py-flags
py-evm==0.7.0a1
py-solc-x
py-solc-x<2.0.0
py-solc
pytest>=3.6.0
pyparsing<3,>=2.0.2

Loading…
Cancel
Save