update arg -bw
@@ -33,10 +33,10 @@ class Tool(benchexec.tools.template.BaseTool2):
def cmdline(self, executable, options, task, rlimits):
data_model_param = get_data_model_from_task(
- task, {ILP32: "-bw 32", LP64: "-bw 64"}
+ task, {ILP32: ["-bw", "32"], LP64: ["-bw", "64"]}
)
if data_model_param:
- options += [data_model_param]
+ options += data_model_param
options += ["-t", "--sh-mem-leak", "--add-line-info"]
if task.property_file:
options += ["--svcomp-property", task.property_file]
