mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-23 09:05:31 +00:00
Code Activity

BV-SLS Cosmetics

Browse source 
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
This commit is contained in:
Christoph M. Wintersteiger 2015-01-12 17:43:56 +00:00
parent 58bf80f113
commit f1a00da401
4 changed files with 1 additions and 33 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/sat/tactic/sat_tactic.cpp
View file

@ -66,8 +66,6 @@ class sat_tactic : public tactic {
CASSERT("sat_solver", m_solver.check_invariant());
IF_VERBOSE(TACTIC_VERBOSITY_LVL, m_solver.display_status(verbose_stream()););
TRACE("sat_dimacs", m_solver.display_dimacs(tout););
//m_solver.display_dimacs(std::cerr);
//exit(0);
lbool r = m_solver.check();
if (r == l_false) {