mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-07-23 12:48:53 +00:00
Code Activity

#5427

Browse source
This commit is contained in:
Nikolaj Bjorner 2021-07-22 09:38:05 -07:00
parent 39c3f34a30
commit 9a5c0f2312
1 changed files with 1 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

1
src/sat/smt/euf_model.cpp
View file

@ -61,6 +61,7 @@ namespace euf {
}; };
void solver::update_model(model_ref& mdl) { void solver::update_model(model_ref& mdl) {
mdl->reset_eval_cache();
for (auto* mb : m_solvers) for (auto* mb : m_solvers)
mb->init_model(); mb->init_model();
m_values.reset(); m_values.reset();