

def cmdline(self, executable, options, tasks, propertyfile, rlimits):
    return ([executable] + self)

dataset/ETHPy150Open sosy-lab/benchexec/benchexec/tools/true.py Tool.cmdline/VarMisuse@26/31 `tasks`->`self`