drivers/safeprover.drv

   1 (* Why3 driver for safe prover *)
   2
   3 valid   "Unsat"
   4 (*
   5 invalid "Completion found"
   6 timeout "Ran out of time"
   7 timeout "CPU time limit exceeded"
   8 outofmemory "Out of Memory"
   9 unknown "No Proof Found" ""
  10 fail    "Failure.*"                   "\"\\0\""
  11 *)
  12 time "why3cpulimit time : %s s"
  13
  14 import "tptp.gen"
  15 import "discrimination.gen"