Korn: fix argument processing

sosy-lab · Nov 21, 2024 · 5669e85 · 5669e85
1 parent 6f964ac
commit 5669e85
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/benchexec/tools/korn.py b/benchexec/tools/korn.py
@@ -48,7 +48,7 @@ def cmdline(self, executable, options, task, rlimits):
         data_model_param = get_data_model_from_task(task, {ILP32: "-32", LP64: "-64"})
 
         if data_model_param and data_model_param not in options:
-            cmd += data_model_param
+            cmd += [data_model_param]
 
         cmd = cmd + [task.single_input_file]