Change configuration (#1823)

norhh · web-flow · commit 4085cf6427ed · 2023-11-19T23:00:05.000Z
* Change configuration

* Downgrade solcx
diff --git a/mythril/interfaces/cli.py b/mythril/interfaces/cli.py
@@ -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(
diff --git a/requirements.txt b/requirements.txt
@@ -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

Original file line number	Diff line number	Diff line change
`@@ -500,7 +500,7 @@ def add_analysis_args(options):`
`500`	`500`	`options.add_argument(`
`501`	`501`	`"--execution-timeout",`
`502`	`502`	`type=int,`
`503`		`- default=86400,`
	`503`	`+ default=3600,`
`504`	`504`	`help="The amount of seconds to spend on symbolic execution",`
`505`	`505`	`)`
`506`	`506`	`options.add_argument(`