Merge pull request sosy-lab#1106 from hernanponcedeleon/no-data-race

Use result.RESULT_FALSE_DATARACE constant in dartagnan
ultimate-pa · Nov 13, 2024 · d8b67f1 · d8b67f1
2 parents be2d505 + e96ce80
commit d8b67f1
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/benchexec/tools/dartagnan.py b/benchexec/tools/dartagnan.py
@@ -43,6 +43,8 @@ def determine_result(self, run):
                     status = result.RESULT_FALSE_DEREF
                 elif "user assertion" in failure_str:
                     status = result.RESULT_FALSE_REACH
+                elif "data race found" in failure_str:
+                    status = result.RESULT_FALSE_DATARACE
                 else:
                     status = result.RESULT_FALSE_PROP
             elif "PASS" in result_str: