Merge branch 'master' into clang-tidy-cppcoreguidelines

runtimeverification · Jan 10, 2024 · dbca526 · dbca526
2 parents 65c33e3 + 276afab
commit dbca526
Show file tree

Hide file tree

Showing 8 changed files with 817 additions and 334 deletions.
diff --git a/include/kllvm/ast/AST.h b/include/kllvm/ast/AST.h
@@ -967,6 +967,8 @@ void readMultimap(
     std::string const &, KORESymbolDeclaration *,
     std::map<std::string, std::set<std::string>> &, std::string const &);
 
+sptr<KOREPattern> stripRawTerm(sptr<KOREPattern> const &term);
+
 template <typename Elem, typename Hash, typename Equal>
 std::unordered_map<Elem *, std::unordered_set<Elem *, Hash, Equal>, Hash, Equal>
 transitiveClosure(std::unordered_map<