safeprover.drv 322 Bytes
Newer Older
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15
(* Why3 driver for safe prover *)

printer "tptp-fof"
filename "%f-%t-%g.p"

valid   "Unsat"
(*
invalid "Completion found"
timeout "Ran out of time"
timeout "CPU time limit exceeded"
outofmemory "Out of Memory"
unknown "No Proof Found" ""
fail    "Failure.*"                   "\"\\0\""
*)
time "why3cpulimit time : %s s"