Double default solver timeout to 240 seconds

trailofbits · Nov 6, 2020 · 0f62e65 · 0f62e65
1 parent 43ae3fa
commit 0f62e65
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/manticore/core/smtlib/solver.py b/manticore/core/smtlib/solver.py
@@ -44,7 +44,7 @@ class SolverType(config.ConfigEnum):
 
 logger = logging.getLogger(__name__)
 consts = config.get_group("smt")
-consts.add("timeout", default=120, description="Timeout, in seconds, for each Z3 invocation")
+consts.add("timeout", default=240, description="Timeout, in seconds, for each Z3 invocation")
 consts.add("memory", default=1024 * 8, description="Max memory for Z3 to use (in Megabytes)")
 consts.add(
     "maxsolutions",