Change timeout logic

6 years ago · fda18b3e77
parent 2348c75a58
commit fda18b3e77
1 changed files with 1 additions and 1 deletions
--- a/mythril/interfaces/cli.py
+++ b/mythril/interfaces/cli.py
@ -216,7 +216,7 @@ def create_parser(parser: argparse.ArgumentParser) -> None:
    options.add_argument(
        "--execution-timeout",
        type=int,
-        default=600,
+        default=86400,
        help="The amount of seconds to spend on symbolic execution",
    )
    options.add_argument(