Removed run result setting to outside of try

sosy-lab · Dec 2, 2024 · 76fc58c · 76fc58c
1 parent 61baa52
commit 76fc58c
Showing 1 changed file with 7 additions and 8 deletions.
diff --git a/contrib/slurm/arrayexecutor.py b/contrib/slurm/arrayexecutor.py
@@ -429,13 +429,11 @@ def execute_batch(
             for i, run in bins[bin]:
                 success = False
                 try:
-                    run.set_result(
-                        get_run_result(
-                            os.path.join(tempdir, str(i)),
-                            run,
-                            benchmark.result_files_patterns
-                            + ["*witness*"],  # e.g., deagle uses mismatched naming
-                        )
+                    result = get_run_result(
+                        os.path.join(tempdir, str(i)),
+                        run,
+                        benchmark.result_files_patterns
+                        + ["*witness*"],  # e.g., deagle uses mismatched naming
                     )
                     success = True
                 except Exception as e:
@@ -458,9 +456,10 @@ def execute_batch(
                                 )
                 if success:
                     try:
+                        run.set_result(result)
                         output_handler.output_after_run(run)
                     except Exception as e:
-                        logging.warning("could not print result due to error: %s", e)
+                        logging.warning("could not set result due to error: %s", e)
 
         if len(missing_runs) > 0 and not STOPPED_BY_INTERRUPT:
             logging.info(