mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-08-05 19:00:25 +00:00
Code Activity

resize m_var_set in random_update

Browse source 
Signed-off-by: Lev Nachmanson <levnach@hotmail.com>
This commit is contained in:
Lev Nachmanson 2020-04-09 14:45:32 -07:00
parent cd98a21984
commit bd3946677c
1 changed files with 2 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

3
src/smt/theory_lra.cpp
View file

@ -1588,7 +1588,8 @@ public:
void random_update() { void random_update() {
if (m_use_nra_model || m_nla) if (m_use_nra_model || m_nla)
return; return;
m_tmp_var_set.clear();
m_tmp_var_set.resize(th.get_num_vars());
m_model_eqs.reset(); m_model_eqs.reset();
svector<lpvar> vars; svector<lpvar> vars;
theory_var sz = static_cast<theory_var>(th.get_num_vars()); theory_var sz = static_cast<theory_var>(th.get_num_vars());