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

na

Browse source
This commit is contained in:
Nikolaj Bjorner 2022-01-15 10:05:26 -08:00
parent 17cfc1d034
commit 1b5f7cd9e5
1 changed files with 0 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

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

@ -123,7 +123,6 @@ namespace q {
ctx.add_diseq_antecedent(m_explain, a, b); ctx.add_diseq_antecedent(m_explain, a, b);
} }
ctx.get_egraph().end_explain(); ctx.get_egraph().end_explain();
std::cout << "exp size " << m_explain.size() << "\n";
size_t** ev = static_cast<size_t**>(ctx.get_region().allocate(sizeof(size_t*) * m_explain.size())); size_t** ev = static_cast<size_t**>(ctx.get_region().allocate(sizeof(size_t*) * m_explain.size()));
for (unsigned i = m_explain.size(); i-- > 0; ) for (unsigned i = m_explain.size(); i-- > 0; )