From 91ad692ab98702b5b431ebd4b90754e9e270d84a Mon Sep 17 00:00:00 2001 From: Joran Honig Date: Thu, 12 Jul 2018 10:38:55 +0200 Subject: [PATCH] Set default timeout to 10 minutes --- mythril/interfaces/cli.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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')