Enable Deagle to output various FALSE types

sosy-lab · Nov 22, 2024 · 32c796d · 32c796d
1 parent 8ec08c1
commit 32c796d
Showing 1 changed file with 9 additions and 0 deletions.
diff --git a/benchexec/tools/deagle.py b/benchexec/tools/deagle.py
@@ -60,6 +60,15 @@ 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: