From b592ce470746ec7f0dc9a2b2a1f4b862f191d843 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Sun, 22 Dec 2024 18:15:44 -0800 Subject: [PATCH] reserve space in heap to avoid debug check in elim_unconstrained --- src/ast/simplifiers/elim_unconstrained.cpp | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/ast/simplifiers/elim_unconstrained.cpp b/src/ast/simplifiers/elim_unconstrained.cpp index 4ed9f2f28..c7aa2f2bc 100644 --- a/src/ast/simplifiers/elim_unconstrained.cpp +++ b/src/ast/simplifiers/elim_unconstrained.cpp @@ -187,7 +187,8 @@ void elim_unconstrained::eliminate() { set_root(p, rn); expr* rt = rn.term(); SASSERT(!m_heap.contains(rt->get_id())); - if (is_uninterp_const(rt)) + m_heap.reserve(rt->get_id() + 1); + if (is_uninterp_const(rt)) m_heap.insert(rt->get_id()); else m_created_compound = true;