Skip to content

GitLab

why3
why3
Commit 158fab52 authored by Claude Marche's avatar Claude Marche
Browse files
Options

alt-ergo driver: case of stack overflow

parent 6188733d
Expand all Hide whitespace changes
Inline Side-by-side
Showing with 3291 additions and 1234 deletions
drivers/alt_ergo_bare.drv
View file @ 158fab52
......@@ -10,6 +10,7 @@ invalid "Invalid"
unknown "I don't know" ""
timeout "Timeout"
outofmemory "Fatal error: out of memory"
outofmemory "Fatal error: exception Stack_overflow"
fail "typing error:\\(.*\\)$" "Failure : File generation error : \\1"
time "Valid (%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