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

remove debug code

Browse source 
Signed-off-by: Lev Nachmanson <levnach@hotmail.com>
This commit is contained in:
Lev Nachmanson 2020-03-02 11:41:53 -08:00
parent 2b4de6ebbc
commit fad08454c1
1 changed files with 0 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/smt/theory_lra.cpp
View file

@ -2199,13 +2199,11 @@ public:
switch (r) { switch (r) {
case l_false: { case l_false: {
m_stats.m_nla_lemmas += lv.size(); m_stats.m_nla_lemmas += lv.size();
int i = 0;
for(const nla::lemma & l : lv) { for(const nla::lemma & l : lv) {
m_lemma = l; //todo avoid the copy m_lemma = l; //todo avoid the copy
m_explanation = l.expl(); m_explanation = l.expl();
m_stats.m_nla_explanations += static_cast<unsigned>(l.expl().size()); m_stats.m_nla_explanations += static_cast<unsigned>(l.expl().size());
false_case_of_check_nla(); false_case_of_check_nla();
i++;
} }
break; break;
} }