Commit b45ab2b9 authored by MARCHE Claude's avatar MARCHE Claude

Fixed regexp for extracting prover result in Alt-Ergo driver

parent 477163af
...@@ -5,11 +5,11 @@ prelude "(* this is the prelude for Alt-Ergo, any versions *)" ...@@ -5,11 +5,11 @@ prelude "(* this is the prelude for Alt-Ergo, any versions *)"
printer "alt-ergo" printer "alt-ergo"
filename "%f-%t-%g.why" filename "%f-%t-%g.why"
valid "Valid" valid "^File \"[^\"]*\", line [0-9]+, characters [0-9]+-[0-9]+:Valid"
invalid "Invalid" invalid "^File \"[^\"]*\", line [0-9]+, characters [0-9]+-[0-9]+:Invalid"
unknown "I don't know" "" unknown "^File \"[^\"]*\", line [0-9]+, characters [0-9]+-[0-9]+:I don't know" ""
timeout "Timeout" timeout "^File \"[^\"]*\", line [0-9]+, characters [0-9]+-[0-9]+:Timeout"
steplimitexceeded "Steps limit reached" steplimitexceeded "^File \"[^\"]*\", line [0-9]+, characters [0-9]+-[0-9]+:Steps limit reached"
outofmemory "Fatal error: out of memory" outofmemory "Fatal error: out of memory"
outofmemory "Fatal error: exception Stack_overflow" outofmemory "Fatal error: exception Stack_overflow"
fail "typing error:\\(.*\\)$" "Failure : File generation error : \\1" fail "typing error:\\(.*\\)$" "Failure : File generation error : \\1"
......
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