Merge pull request #972 from hernanponcedeleon/main

Use proper property false result
sosy-lab · Nov 21, 2023 · 033b38c · 033b38c
2 parents 9c8d1ef + 2e775b0
commit 033b38c
Showing 1 changed file with 9 additions and 1 deletion.
diff --git a/benchexec/tools/dartagnan.py b/benchexec/tools/dartagnan.py
@@ -36,7 +36,15 @@ def determine_result(self, run):
         if run.output:
             result_str = run.output[-1].strip()
             if "FAIL" in result_str:
-                status = result.RESULT_FALSE_REACH
+                failure_str = run.output[-3].strip()
+                if "integer overflow" in failure_str:
+                    status = result.RESULT_FALSE_OVERFLOW
+                elif "invalid dereference" in failure_str:
+                    status = result.RESULT_FALSE_DEREF
+                elif "user assertion" in failure_str:
+                    status = result.RESULT_FALSE_REACH
+                else:
+                    status = result.RESULT_FALSE_PROP
             elif "PASS" in result_str:
                 status = result.RESULT_TRUE_PROP
             elif "UNKNOWN" in result_str: