Switch from negative to positive notion
@@ -35,8 +35,8 @@ class Tool(benchexec.tools.template.BaseTool2):
def determine_result(self, run):
exit_code = run.exit_code.value
- witness_type_disagreement = self.get_value_from_output(
- run.output, "Witness Type Disagreement"
+ witness_type_match = self.get_value_from_output(
+ run.output, "Witness Type-Match"
)
if "witnesslint finished" not in run.output[-1] or exit_code == 7:
return "EXCEPTION"
@@ -46,7 +46,7 @@ class Tool(benchexec.tools.template.BaseTool2):
return result.RESULT_ERROR + " (witness does not exist)"
elif exit_code == 6:
return result.RESULT_ERROR + " (program does not exist)"
- elif witness_type_disagreement == "True":
+ elif witness_type_match == "False":
return result.RESULT_ERROR + " (unexpected witness type)"
elif exit_code == 0:
return result.RESULT_DONE
