mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-06-06 22:23:22 +00:00
Code Activity

#5336

Browse source
This commit is contained in:
Nikolaj Bjorner 2021-06-16 23:19:16 -05:00
parent 0b3a8522ac
commit d73ceaddc7
1 changed files with 4 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

3
src/sat/smt/q_mam.cpp
View file

@ -3783,10 +3783,11 @@ namespace q {
ctx.push(value_trail<unsigned>(m_to_match_head)); ctx.push(value_trail<unsigned>(m_to_match_head));
for (; m_to_match_head < m_to_match.size(); ++m_to_match_head) { for (; m_to_match_head < m_to_match.size(); ++m_to_match_head) {
code_tree* t = m_to_match[m_to_match_head]; code_tree* t = m_to_match[m_to_match_head];
SASSERT(t->has_candidates()); if (t->has_candidates()) {
m_interpreter.execute(t); m_interpreter.execute(t);
t->reset_candidates(); t->reset_candidates();
} }
}
if (!m_new_patterns.empty()) { if (!m_new_patterns.empty()) {
match_new_patterns(); match_new_patterns();
m_new_patterns.reset(); m_new_patterns.reset();