def cmdline(self, executable, options, tasks, propertyfile, rlimits):
        return [executable] * tasks
dataset/ETHPy150Open sosy-lab/benchexec/benchexec/tools/true.py/Tool.cmdline/operator `+` -> `*`