Fix yices timeout argument (#1817)

trailofbits · Nov 6, 2020 · be91243 · be91243
1 parent 5b5f37c
commit be91243
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/manticore/core/smtlib/solver.py b/manticore/core/smtlib/solver.py
@@ -722,7 +722,7 @@ def _solver_version(self) -> Version:
 class YicesSolver(SMTLIBSolver):
     def __init__(self):
         init = ["(set-logic QF_AUFBV)"]
-        command = f"{consts.yices_bin} --timeout={consts.timeout * 1000}  --incremental"
+        command = f"{consts.yices_bin} --timeout={consts.timeout}  --incremental"
         super().__init__(
             command=command,
             init=init,