Merge remote-tracking branch 'origin/develop'

runtimeverification · Sep 18, 2024 · 4cdd700 · 4cdd700
2 parents bb6c1a6 + d33ecef
commit 4cdd700
Showing 1 changed file with 8 additions and 0 deletions.
diff --git a/bindings/python/ast.cpp b/bindings/python/ast.cpp
@@ -418,6 +418,14 @@ void bind_proof_trace(py::module_ &m) {
       .def_property_readonly(
           "check_result", &llvm_side_condition_end_event::get_result);
 
+  py::class_<
+      llvm_pattern_matching_failure_event,
+      std::shared_ptr<llvm_pattern_matching_failure_event>>(
+      proof_trace, "llvm_pattern_matching_failure_event", step_event)
+      .def_property_readonly(
+          "function_name",
+          &llvm_pattern_matching_failure_event::get_function_name);
+
   py::class_<llvm_function_event, std::shared_ptr<llvm_function_event>>(
       proof_trace, "llvm_function_event", step_event)
       .def_property_readonly("name", &llvm_function_event::get_name)