mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-12 12:08:18 +00:00
Code Activity

set flat_and_or to false in bv rewriter

Browse source
This commit is contained in:
Nikolaj Bjorner 2022-11-15 05:47:28 -08:00
parent 041b5f9ef0
commit bfae8b2162
1 changed files with 1 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
src/smt/theory_bv.cpp
View file

@ -1489,6 +1489,7 @@ namespace smt {
m_approximates_large_bvs(false) { m_approximates_large_bvs(false) {
memset(m_eq_activity, 0, sizeof(m_eq_activity)); memset(m_eq_activity, 0, sizeof(m_eq_activity));
memset(m_diseq_activity, 0, sizeof(m_diseq_activity)); memset(m_diseq_activity, 0, sizeof(m_diseq_activity));
m_bb.set_flat_and_or(false);
} }
theory_bv::~theory_bv() { theory_bv::~theory_bv() {