Fixed which params to check

sosy-lab · Nov 30, 2024 · 57b3c4b · 57b3c4b
1 parent c9e24bd
commit 57b3c4b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/contrib/slurm/arrayexecutor.py b/contrib/slurm/arrayexecutor.py
@@ -185,7 +185,7 @@ def filter_previous_results(run_set, benchmark, output_handler):
                 return run_set.runs
 
             old_options = previous_results.get("options")
-            new_options = " ".join(benchmark.options)
+            new_options = " ".join(run_set.options)
             if old_options != new_options:
                 logging.warning(
                     f"Mismatch in tool options: old options='{old_options}', current options: '{new_options}'"