fixed concat

sosy-lab · Nov 23, 2024 · 65c9a19 · 65c9a19
1 parent 222b306
commit 65c9a19
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/contrib/slurm/arrayexecutor.py b/contrib/slurm/arrayexecutor.py
@@ -259,7 +259,8 @@ def execute_batch(
                             run.result_files_folder,
                             os.path.join(tempdir, str(i)),
                             run,
-                            benchmark.result_files_patterns + "*witness*", # e.g., deagle uses mismatched naming
+                            benchmark.result_files_patterns
+                            + ["*witness*"],  # e.g., deagle uses mismatched naming
                         )
                     )
                     output_handler.output_after_run(run)