Code simplfied
@@ -18,13 +18,9 @@ class Tool(benchexec.tools.template.BaseTool2):
return "P4 Test"
def determine_result(self, run):
- run_succreded = False
# Traverse through the output and check for and Ok
for line in run.output:
if "OK" in line:
- run_succreded = True
-
- if run_succreded:
return benchexec.result.RESULT_CLASS_TRUE
else:
return benchexec.result.RESULT_CLASS_FALSE
