Updated tool to handle the new output format
@@ -25,14 +25,11 @@ class Tool(benchexec.tools.template.BaseTool2):
return "SocketTest1"
def determine_result(self, run):
- AllTestCleared = True
-
for line in run.output:
- print(line)
- if not "ok" in line:
- AllTestCleared = False
- break
- if AllTestCleared:
+ if run.cmdline[3] + " ... ok" in line:
return benchexec.result.RESULT_CLASS_TRUE
else:
return benchexec.result.RESULT_CLASS_FALSE
+
+
+
\ No newline at end of file
