From 2b90220ea12b1059457433eac0524c8d888fb86a Mon Sep 17 00:00:00 2001 From: Dirk Beyer Date: Wed, 13 Nov 2024 07:05:11 +0100 Subject: [PATCH] Add constant for 'false(no-data-race)' --- benchexec/result.py | 2 ++ 1 file changed, 2 insertions(+) diff --git a/benchexec/result.py b/benchexec/result.py index 66aca894d..eeb62a48f 100644 --- 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"""