Merge pull request #1121 from Misasasa/main

Enable Deagle to output various FALSE types
sosy-lab · Nov 22, 2024 · a768013 · a768013
2 parents 8ec08c1 + 172b5b3
commit a768013
Showing 1 changed file with 11 additions and 0 deletions.
diff --git a/benchexec/tools/deagle.py b/benchexec/tools/deagle.py
@@ -60,6 +60,17 @@ def determine_result(self, run):
             status = result.RESULT_TRUE_PROP
         elif run.output.any_line_contains("FAILED"):
             status = result.RESULT_FALSE_REACH
+            for line in run.output:
+                if "nodatarace.assertion." in line and "FAILURE" in line:
+                    status = result.RESULT_FALSE_DATARACE
+                if (
+                    "alloc.assertion." in line or "pointer_dereference." in line
+                ) and "FAILURE" in line:
+                    status = result.RESULT_FALSE_DEREF
+                if "memory-leak." in line and "FAILURE" in line:
+                    status = result.RESULT_FALSE_MEMTRACK
+                if "overflow." in line and "FAILURE" in line:
+                    status = result.RESULT_FALSE_OVERFLOW
         elif run.exit_code.value == 1:
             status = result.RESULT_UNKNOWN
         else: