Change default execution time

3 years ago · 7a4946144a
parent 7d3f9b5842
commit 7a4946144a
1 changed files with 1 additions and 1 deletions
--- 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(