Commit edde169d authored by François Bobot's avatar François Bobot

vampire : ajout timeout regexp and -t switch

parent bb1cef60
......@@ -8,7 +8,7 @@ valid "Refutation.*found"
(* invalid "SZS status CounterSatisfiable" *)
(* timeout "Ran out of time" *)
(* timeout "Resource limit exceeded" *)
(* timeout "CPU time limit exceeded" *)
timeout "Time limit reached!"
(* unknown "No Proof Found" "Unknown" *)
(* fail "Failure.*" "\"\\0\"" *)
time "why3cpulimit time : %s s"
......
......@@ -107,8 +107,9 @@ name = "Vampire"
exec = "vampire"
version_switch = "--version"
version_regexp = "Vampire \\([0-9.]+\\)"
command = "@LOCALBIN@why3-cpulimit %t %m -s %e"
command = "@LOCALBIN@why3-cpulimit %t %m -s %e -t %t"
driver = "drivers/vampire.drv"
version_ok = "0.6"
[ATP verit]
name = "veriT"
......
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