mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-19 15:19:01 +00:00
Code Activity

reset tmp vectors

Browse source
This commit is contained in:
Jakob Rath 2023-12-22 11:57:31 +01:00
parent cbb280d2b7
commit 5ad4d1017e
1 changed files with 2 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/math/polysat/slicing.cpp
View file

@ -1544,6 +1544,8 @@ namespace polysat {
SASSERT_EQ(nv->get_root(), nx->get_root());
explain_equal(nv, nx, m_tmp_deps);
}
v_base.reset();
x_base.reset();
for (void* dp : m_tmp_deps) {
dep_t const d = dep_t::decode(dp);