drivers/eprover.drv

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