use result.RESULT_FALSE_DATARACE for data race violations

ultimate-pa · Nov 13, 2024 · bbcdf65 · bbcdf65
1 parent d8b67f1
commit bbcdf65
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/benchexec/tools/ultimate.py b/benchexec/tools/ultimate.py
@@ -363,6 +363,7 @@ def _determine_result_without_property_file(self, run):
         ltl_false_string = "execution that violates the LTL property"
         ltl_true_string = "Buchi Automizer proved that the LTL property"
         overflow_false_string = "overflow possible"
+        datarace_false_string = "DataRaceFoundResult"
 
         for line in run.output:
             if unsupported_syntax_errorstring in line:
@@ -385,6 +386,8 @@ def _determine_result_without_property_file(self, run):
                 return "FALSE(valid-ltl)"
             if ltl_true_string in line:
                 return result.RESULT_TRUE_PROP
+            if datarace_false_string in line:
+                return result.RESULT_FALSE_DATARACE
             if unsafety_string in line:
                 return result.RESULT_FALSE_REACH
             if mem_deref_false_string in line: