diff --git a/contrib/slurm/arrayexecutor.py b/contrib/slurm/arrayexecutor.py index a28dd29aa..6f6a391af 100644 --- a/contrib/slurm/arrayexecutor.py +++ b/contrib/slurm/arrayexecutor.py @@ -199,17 +199,22 @@ def filter_previous_results(run_set, benchmark, output_handler): return run_set.runs previous_results = parse_results_file(result_file) - if previous_results.get("version") != benchmark.tool_version: + + old_version = previous_results.get("version") + new_version = benchmark.tool_version + if old_version != new_version: logging.warning( - f"Mismatch in tool version: old version={previous_results.get('version')}, current version: {benchmark.tool_version}" + f"Mismatch in tool version: old version={old_version}, current version: {new_version}" ) shutil.rmtree(logfile_folder) shutil.rmtree(files_folder) return run_set.runs - if previous_results.get("options") != benchmark.options: + old_options = previous_results.get("options") + new_options = " ".join(benchmark.options) + if old_options != new_options: logging.warning( - f"Mismatch in tool options: old options='{previous_results.get('options')}', current options: '{benchmark.options}'" + f"Mismatch in tool options: old options='{old_options}', current options: '{new_options}'" ) shutil.rmtree(logfile_folder) shutil.rmtree(files_folder)