Use result.RESULT_FALSE_DATARACE constant in dartagnan

Signed-off-by: Hernan Ponce de Leon <[email protected]>
hernanponcedeleon · Nov 13, 2024 · e96ce80 · e96ce80
1 parent be2d505
commit e96ce80
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: