Commit aa6a5ee8 authored by Guillaume Melquiond's avatar Guillaume Melquiond

Properly detect an "unknown" result from eprover.

parent 0790887d
...@@ -5,7 +5,7 @@ invalid "Completion found" ...@@ -5,7 +5,7 @@ invalid "Completion found"
timeout "Ran out of time" timeout "Ran out of time"
timeout "CPU time limit exceeded" timeout "CPU time limit exceeded"
outofmemory "Out of Memory" outofmemory "Out of Memory"
unknown "No Proof Found" "" unknown "No proof found" ""
fail "Failure.*" "\"\\0\"" fail "Failure.*" "\"\\0\""
time "why3cpulimit time : %s s" time "why3cpulimit time : %s s"
......
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