Increase solver timeout (#1768)

2 years ago · d531d8ba10
parent b2c409f53b
commit d531d8ba10
1 changed files with 1 additions and 1 deletions
--- a/mythril/interfaces/cli.py
+++ b/mythril/interfaces/cli.py
@ -506,7 +506,7 @@ def add_analysis_args(options):
    options.add_argument(
        "--solver-timeout",
        type=int,
-        default=10000,
+        default=25000,
        help="The maximum amount of time(in milli seconds) the solver spends for queries from analysis modules",
    )
    options.add_argument(