Commit 2a7fc739 authored by Johannes Kanig's avatar Johannes Kanig
Browse files

O420-011 add missing parsing of stepslimitexceeded case

Sessions may contain the status "stepslimitexceeded", but this was not
actually parsed by the session parser. Now fixed.
parent 4e4643c3
......@@ -1173,6 +1173,7 @@ let load_result r =
| "outofmemory" -> Call_provers.OutOfMemory
| "failure" -> Call_provers.Failure ""
| "highfailure" -> Call_provers.HighFailure
| "stepslimitexceeded" -> Call_provers.StepsLimitExceeded
| s ->
"[Warning] Session.load_result: unexpected status '%s'@." s;
Supports Markdown
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