Commit 9afd50a6 authored by François Bobot's avatar François Bobot
Browse files

Vampire : We should be very cautious with the regexp we use in driver,

or unknown can be seen as valid...
parent edde169d
...@@ -3,7 +3,8 @@ ...@@ -3,7 +3,8 @@
printer "tptp" printer "tptp"
filename "%f-%t-%g.p" filename "%f-%t-%g.p"
valid "Refutation.*found" valid "Refutation found"
unknown "Refutation not found" "Unknown"
(* invalid "Completion found" *) (* invalid "Completion found" *)
(* invalid "SZS status CounterSatisfiable" *) (* invalid "SZS status CounterSatisfiable" *)
(* timeout "Ran out of time" *) (* timeout "Ran out of time" *)
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