Merge pull request #1116 from blishko/hornix-update

SV-COMP 2025: Update the processing of output of Hornix
sosy-lab · Nov 21, 2024 · b4ac71f · b4ac71f
2 parents 6f964ac + 1bfc493
commit b4ac71f
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/benchexec/tools/hornix.py b/benchexec/tools/hornix.py
@@ -38,7 +38,9 @@ def determine_result(self, run):
             return result.RESULT_TRUE_PROP
         elif "unsat" == line:
             return result.RESULT_FALSE_REACH
-        elif "unknown" == line:
+        elif "unknown" == line or line.startswith("UNKNOWN"):
             return result.RESULT_UNKNOWN
+        elif "timeout" == line:
+            return result.RESULT_TIMEOUT
         else:
             return result.RESULT_ERROR