refer to single input file
import re
import benchexec.tools.template
+
class Tool(benchexec.tools.template.BaseTool2):
"""
Fuzzing with stochastic optimization guided by CMA-ES
@@ -28,6 +29,9 @@ class Tool(benchexec.tools.template.BaseTool2):
def executable(self, tool_locator):
return tool_locator.find_executable("fuzzer")
+ def cmdline(self, executable, options, task, rlimits):
+ return [executable] + options + [task.single_input_file]
+
def version(self, executable):
return self._version_from_tool(executable)
