Do not apply preprocessing pass for TheorySep unless enabled (cvc5#10165

)
ajreynol · Nov 17, 2023 · 94dbd94 · 94dbd94
1 parent f867bfa
commit 94dbd94
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/src/theory/sep/theory_sep.cpp b/src/theory/sep/theory_sep.cpp
@@ -928,6 +928,10 @@ TheorySep::HeapAssertInfo * TheorySep::getOrMakeEqcInfo( Node n, bool doMake ) {
 // Must process assertions at preprocess so that quantified assertions are
 // processed properly.
 void TheorySep::ppNotifyAssertions(const std::vector<Node>& assertions) {
+  if (!d_env.hasSepHeap())
+  {
+    return;
+  }
   std::map<int, std::map<Node, size_t> > visited;
   std::map<int, std::map<Node, std::vector<Node> > > references;
   std::map<int, std::map<Node, bool> > references_strict;