mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-07-24 21:26:59 +00:00
Code Activity

mam compiler: move reset of matched_exprs cache next to code reset

Browse source
This commit is contained in:
Nuno Lopes 2016-11-28 15:40:25 +00:00
parent 2babd192b8
commit 4b4365470d
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/smt/mam.cpp
View file

@ -841,7 +841,6 @@ namespace smt {
m_mp = mp; m_mp = mp;
m_num_choices = 0; m_num_choices = 0;
m_todo.reset(); m_todo.reset();
m_matched_exprs.reset();
m_registers.fill(0); m_registers.fill(0);
app * p = to_app(mp->get_arg(first_idx)); app * p = to_app(mp->get_arg(first_idx));
@ -1226,6 +1225,7 @@ namespace smt {
*/ */
void linearise(instruction * head, unsigned first_idx) { void linearise(instruction * head, unsigned first_idx) {
m_seq.reset(); m_seq.reset();
m_matched_exprs.reset();
while (!m_todo.empty()) while (!m_todo.empty())
linearise_core(); linearise_core();