revert the timeout to normal

5 years ago · edb906d391
parent efd7c95f86
commit edb906d391
1 changed files with 1 additions and 1 deletions
--- a/mythril/analysis/solver.py
+++ b/mythril/analysis/solver.py
@ -28,7 +28,7 @@ def get_model(constraints, minimize=(), maximize=(), enforce_execution_time=True
    :return:
    """
    s = Optimize()
-    timeout = 200000
+    timeout = 100000
    if enforce_execution_time:
        timeout = min(timeout, time_handler.time_remaining() - 500)
        if timeout <= 0: