diff --git a/benchexec/tools/dartagnan.py b/benchexec/tools/dartagnan.py
index cc3f10731..b5d5c86b9 100644
--- 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: