Merge remote-tracking branch 'origin/develop'

runtimeverification · May 17, 2024 · 1ecb265 · 1ecb265
2 parents f52eaba + e27ae13
commit 1ecb265
Show file tree

Hide file tree

Showing 3 changed files with 1,426 additions and 0 deletions.
diff --git a/bindings/python/ast.cpp b/bindings/python/ast.cpp
@@ -178,6 +178,8 @@ void bind_ast(py::module_ &m) {
           py::init(&kore_axiom_declaration::create),
           py::arg("is_claim") = false)
       .def_property_readonly("is_claim", &kore_axiom_declaration::is_claim)
+      .def_property_readonly(
+          "is_required", &kore_axiom_declaration::is_required)
       .def("add_pattern", &kore_axiom_declaration::add_pattern)
       .def_property_readonly("pattern", &kore_axiom_declaration::get_pattern)
       .def_property_readonly("requires", &kore_axiom_declaration::get_requires);