add python binding for kore_header constructor

runtimeverification · May 13, 2024 · 62e83cc · 62e83cc
1 parent a995c17
commit 62e83cc
Show file tree

Hide file tree

Showing 2 changed files with 11 additions and 0 deletions.
diff --git a/bindings/python/ast.cpp b/bindings/python/ast.cpp
@@ -445,6 +445,10 @@ void bind_proof_trace(py::module_ &m) {
             return parser.parse_proof_trace(str);
           },
           py::arg("bytes"), py::arg("header"));
+
+  py::class_<kore_header, std::shared_ptr<kore_header>>(
+      proof_trace, "kore_header")
+      .def(py::init(&kore_header::create), py::arg("path"));
 }
 
 PYBIND11_MODULE(_kllvm, m) {

diff --git a/include/kllvm/binary/deserializer.h b/include/kllvm/binary/deserializer.h
@@ -21,6 +21,13 @@ class kore_header {
 
 public:
   kore_header(FILE *in);
+  static std::unique_ptr<kore_header> create(std::string path) {
+    FILE *f = fopen(path.c_str(), "rb");
+    auto *result = new kore_header(f);
+    fclose(f);
+    return std::unique_ptr<kore_header>(result);
+  }
+
   [[nodiscard]] uint8_t get_arity(uint32_t offset) const {
     return arities_[offset];
   };