Fix error about missing pre-defined result value in tool-info module for wasp-c
@@ -41,7 +41,7 @@ class Tool(benchexec.tools.template.BaseTool2):
):
return result.RESULT_ERROR
elif run.was_timeout or run.output.any_line_contains("WASP timed out"):
- return result.TIMEOUT
+ return "TIMEOUT"
elif run.was_terminated:
return result.RESULT_UNKOWN
elif run.exit_code == 0 and run.output.any_line_contains("Analysis done."):
