From bbcdf650ce678413118269a448da63032c7b79db Mon Sep 17 00:00:00 2001 From: "maul.esel" Date: Wed, 13 Nov 2024 10:26:49 +0100 Subject: [PATCH] use result.RESULT_FALSE_DATARACE for data race violations --- benchexec/tools/ultimate.py | 3 +++ 1 file changed, 3 insertions(+) diff --git a/benchexec/tools/ultimate.py b/benchexec/tools/ultimate.py index f0f0f336d..1eb15edd8 100644 --- 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: