mirror of
https://github.com/Z3Prover/z3
synced 2025-04-10 03:07:07 +00:00
disable temp debug
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
parent
1fce2905ec
commit
066413516f
|
@ -454,7 +454,7 @@ namespace smt {
|
|||
display_lemma_as_smt_problem(out, num_antecedents, antecedents, consequent, logic);
|
||||
TRACE("non_linear", display_lemma_as_smt_problem(tout, num_antecedents, antecedents, consequent, logic););
|
||||
out.close();
|
||||
SASSERT(m_lemma_id != 2);
|
||||
// SASSERT(m_lemma_id != 2);
|
||||
return m_lemma_id;
|
||||
}
|
||||
|
||||
|
@ -498,7 +498,7 @@ namespace smt {
|
|||
);
|
||||
display_lemma_as_smt_problem(out, num_antecedents, antecedents, num_eq_antecedents, eq_antecedents, consequent, logic);
|
||||
out.close();
|
||||
SASSERT(m_lemma_id != 2);
|
||||
//SASSERT(m_lemma_id != 2);
|
||||
return m_lemma_id;
|
||||
}
|
||||
|
||||
|
|
Loading…
Reference in a new issue