Commit cd28fe41 authored by MARCHE Claude's avatar MARCHE Claude

fix detection of 'timeout' result of Alt-Ergo 0.95

parent b957f6f6
......@@ -8,6 +8,7 @@ filename "%f-%t-%g.why"
valid "Valid"
invalid "Invalid"
unknown "I don't know" "Unknown"
timeout "Timeout"
fail "typing error:\\(.*\\)$" "Failure : File generation error : \\1"
time "Valid (%s)"
time "why3cpulimit time : %s s"
......
import "alt_ergo_bare.drv"
theory BuiltIn
......
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