Commit 1e06d9f4 authored by Francois Bobot's avatar Francois Bobot
Browse files

cvc3 has a timeout option

parent fbb0fd38
......@@ -14,7 +14,7 @@ driver = "drivers/coq.drv"
[prover cvc3]
name = "CVC3"
command = "why-cpulimit %t %m cvc3 -lang smt %f 2>&1"
command = "why-cpulimit 0 %m cvc3 -timeout %t -lang smt %f 2>&1"
driver = "drivers/cvc3.drv"
[prover z3]
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment