diff --git a/mythril/interfaces/cli.py b/mythril/interfaces/cli.py index a729ca3a..aee8a637 100644 --- a/mythril/interfaces/cli.py +++ b/mythril/interfaces/cli.py @@ -64,7 +64,7 @@ def main(): options = parser.add_argument_group('options') options.add_argument('-m', '--modules', help='Comma-separated list of security analysis modules', metavar='MODULES') options.add_argument('--max-depth', type=int, default=22, help='Maximum recursion depth for symbolic execution') - options.add_argument('--execution-timeout', type=int, default=60, help="The amount of seconds to spend on " + options.add_argument('--execution-timeout', type=int, default=600, help="The amount of seconds to spend on " "symbolic execution") outputs.add_argument('--strategy', choices=['dfs', 'bfs'], default='dfs', help='Symbolic execution strategy')