even finer exceptions

microsoft · Nov 12, 2023 · a03dd4c · a03dd4c
1 parent f4328b8
commit a03dd4c
Showing 1 changed file with 27 additions and 18 deletions.
diff --git a/src/loopy.py b/src/loopy.py
@@ -1743,24 +1743,33 @@ def local_loopy(self, max_benchmarks=1, start_index=0, local_output=""):
                             }
                         )
                     else:
-                        (
-                            __success,
-                            pruned_code,
-                            num_frama_c_calls,
-                        ) = self.checker.houdini(
-                            checker_input_with_annotations,
-                            "one_loop_one_method",
-                            use_json_dump_for_invariants=self.use_json_output,
-                        )
-                        completions.append(
-                            {
-                                "invariants": completion,
-                                "success": __success,
-                                "checker_message": checker_message,
-                                "code_after_prune": pruned_code,
-                                "success_after_prune": __success,
-                            }
-                        )
+                        try:
+                            (
+                                __success,
+                                pruned_code,
+                                num_frama_c_calls,
+                            ) = self.checker.houdini(
+                                checker_input_with_annotations,
+                                "one_loop_one_method",
+                                use_json_dump_for_invariants=self.use_json_output,
+                            )
+                            completions.append(
+                                {
+                                    "invariants": completion,
+                                    "success": __success,
+                                    "checker_message": checker_message,
+                                    "code_after_prune": pruned_code,
+                                    "success_after_prune": __success,
+                                }
+                            )
+                        except Exception as e:
+                            completions.append(
+                                {
+                                    "invariants": completion,
+                                    "success": __success,
+                                    "error": str(e),
+                                }
+                            )
 
                 instance_log_json["completions"] = completions