Merge pull request #1127 from vesalvojdani/main

Update cooperace to return datarace subproperty violation

benchexec/tools/cooperace.py

@@ -39,7 +39,7 @@ def determine_result(self, run):
             if result_str == "CoOpeRace verdict: true":
                 return result.RESULT_TRUE_PROP
             if result_str == "CoOpeRace verdict: false":
-                return result.RESULT_FALSE_PROP
+                return result.RESULT_FALSE_DATARACE
             if result_str == "CoOpeRace verdict: unknown":
                 return result.RESULT_UNKNOWN