Add a default value

5 years ago · f6258e8241
parent 4904d050b0
commit f6258e8241
1 changed files with 1 additions and 1 deletions
--- 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()