From f6258e8241b51b8a22c15ecc636718501fbac595 Mon Sep 17 00:00:00 2001
From: Nikhil Parasaram <nikhilparasaram@gmail.com>
Date: Wed, 11 Mar 2020 00:44:25 +0000
Subject: [PATCH] Add a default value

---
 mythril/support/support_args.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/mythril/support/support_args.py b/mythril/support/support_args.py
index d0032f40..739d04de 100644
--- a/mythril/support/support_args.py
+++ b/mythril/support/support_args.py
@@ -7,7 +7,7 @@ class Args(object, metaclass=Singleton):
     """
 
     def __init__(self):
-        self.solver_timeout = None
+        self.solver_timeout = 10000
 
 
 args = Args()