Commit 394dc418 authored by MARCHE Claude's avatar MARCHE Claude

merge again with bugfix

parents b45ab2b9 a19693df
......@@ -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
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment