Merge pull request #1126 from leventeBajczi/patch-2

Update concurrentwitness2test.py
sosy-lab · Nov 23, 2024 · be1b535 · be1b535
2 parents 89acaf1 + 35f913a
commit be1b535
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: