added proper timeouts for cvc4 and boolector (#2418)

trailofbits · Apr 1, 2021 · 2e990ba · 2e990ba
1 parent 9bfb3ac
commit 2e990ba
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/manticore/core/smtlib/solver.py b/manticore/core/smtlib/solver.py
@@ -736,14 +736,14 @@ def __init__(self):
 class CVC4Solver(SMTLIBSolver):
     def __init__(self):
         init = ["(set-logic QF_AUFBV)", "(set-option :produce-models true)"]
-        command = f"{consts.cvc4_bin} --lang=smt2 --incremental"
+        command = f"{consts.cvc4_bin} --tlimit={consts.timeout * 1000} --lang=smt2 --incremental"
         super().__init__(command=command, init=init)
 
 
 class BoolectorSolver(SMTLIBSolver):
     def __init__(self):
         init = ["(set-logic QF_AUFBV)", "(set-option :produce-models true)"]
-        command = f"{consts.boolector_bin} -i"
+        command = f"{consts.boolector_bin} --time={consts.timeout} -i"
         super().__init__(command=command, init=init)