Update concurrentwitness2test.py

sosy-lab · Nov 22, 2024 · bec7f33 · bec7f33
1 parent 89acaf1
commit bec7f33
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/benchexec/tools/concurrentwitness2test.py b/benchexec/tools/concurrentwitness2test.py
@@ -40,7 +40,7 @@ def determine_result(self, run):
             if "Verdict: SOMETIMES" in line or "Verdict: ALWAYS" in line:
                 return result.RESULT_FALSE_REACH
             elif "Verdict: NEVER" in line:
-                return result.RESULT_TRUE_PROP
+                return result.RESULT_ERROR + "(ineffective  witness)"
             elif "Verdict: TIMEOUT" in line:
                 return result.RESULT_TIMEOUT + "(inner)"
             elif "Verdict: Unknown error" in line: