From d531d8ba10b8e1273988dd55040d5860e65b7364 Mon Sep 17 00:00:00 2001
From: Nikhil Parasaram <nikhilparasaram@gmail.com>
Date: Tue, 9 May 2023 23:15:52 +0530
Subject: [PATCH] Increase solver timeout (#1768)

---
 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 206523f3..a5ef8721 100644
--- 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(