diff --git a/mythril/interfaces/cli.py b/mythril/interfaces/cli.py index d46729d7..ca2ad448 100644 --- a/mythril/interfaces/cli.py +++ b/mythril/interfaces/cli.py @@ -455,7 +455,7 @@ def create_safe_functions_parser(parser: ArgumentParser): options.add_argument( "--execution-timeout", type=int, - default=86400, + default=7200, help="The amount of seconds to spend on symbolic execution", ) options.add_argument(