Merge pull request sosy-lab#1105 from add-false-no-data-race

Add constant for 'false(no-data-race)'
ultimate-pa · Nov 13, 2024 · be2d505 · be2d505
2 parents 6b427e5 + 2b90220
commit be2d505
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/benchexec/result.py b/benchexec/result.py
@@ -87,6 +87,8 @@
 """SV-COMP valid-memtrack property violated"""
 RESULT_FALSE_MEMCLEANUP = RESULT_FALSE_PROP + "(valid-memcleanup)"
 """SV-COMP valid-memcleanup property violated"""
+RESULT_FALSE_DATARACE = RESULT_FALSE_PROP + "(no-data-race)"
+"""SV-COMP no-data-race property violated"""
 
 RESULT_LIST_OTHER = [RESULT_DONE, RESULT_ERROR, RESULT_UNKNOWN]
 """list of unspecific standard results besides true/false"""