Commit a19693df authored by MARCHE Claude's avatar MARCHE Claude

Additional fix on regexps for extracting prover result in Alt-Ergo driver

parent 2d7ec287
......@@ -6,6 +6,7 @@ printer "alt-ergo"
filename "%f-%t-%g.why"
valid "^File \"[^\"]*\", line [0-9]+, characters [0-9]+-[0-9]+:Valid"
valid "^Inconsistent assumption$"
invalid "^File \"[^\"]*\", line [0-9]+, characters [0-9]+-[0-9]+:Invalid"
unknown "^File \"[^\"]*\", line [0-9]+, characters [0-9]+-[0-9]+:I don't know" ""
timeout "^File \"[^\"]*\", line [0-9]+, characters [0-9]+-[0-9]+:Timeout"
......
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