diff --git a/drivers/eprover.drv b/drivers/eprover.drv index 7bbf2f14324bbb684b698b463e66a6764c34ec9e..60d57413809b2af0236c71ccd95b0a4587250035 100644 --- a/drivers/eprover.drv +++ b/drivers/eprover.drv @@ -5,7 +5,7 @@ invalid "Completion found" timeout "Ran out of time" timeout "CPU time limit exceeded" outofmemory "Out of Memory" -unknown "No Proof Found" "" +unknown "No proof found" "" fail "Failure.*" "\"\\0\"" time "why3cpulimit time : %s s"