For CPAchecker, always return status for exceptions/assertions
Previously, this was done only for return code 0 or 1,
but in case of timeouts the return code sometimes has value 143.
Fixes
@@ -162,13 +162,10 @@ class Tool(benchexec.tools.template.BaseTool):
status = "OUT OF MEMORY"
elif "SIGSEGV" in line:
status = "SEGMENTATION FAULT"
- elif (
- returncode == 0 or returncode == 1
- ) and "java.lang.AssertionError" in line:
+ elif "java.lang.AssertionError" in line:
status = "ASSERTION"
elif (
- (returncode == 0 or returncode == 1)
- and ("Exception:" in line or line.startswith("Exception in thread"))
+ ("Exception:" in line or line.startswith("Exception in thread"))
# ignore "cbmc error output: ... Minisat::OutOfMemoryException"
and not line.startswith("cbmc")
):
