Pass a Task object to cmdline() in MetaVal module
@@ -103,10 +103,16 @@ class Tool(benchexec.tools.template.BaseTool2):
wrapped_executable = tool.executable(
BaseTool2.ToolLocator(tool_directory=self.TOOL_TO_PATH_MAP[verifierName])
)
+ wrappedtask = BaseTool2.Task(
+ input_files=[os.path.relpath(os.path.join(os.getcwd(), "output/ARG.c"))],
+ identifier=task.identifier,
+ property_file=task.property_file,
+ options=task.options,
+ )
wrappedOptions = tool.cmdline(
wrapped_executable,
options,
- [os.path.relpath(os.path.join(os.getcwd(), "output/ARG.c"))],
+ wrappedtask,
rlimits,
)
