Added catch-all witness pattern

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