Skip to content

Commit cd95f2b

Browse files
committed
Make solvers less verbose unless debugging
Signed-off-by: František Nečas <[email protected]>
1 parent 6c0b581 commit cd95f2b

File tree

1 file changed

+7
-0
lines changed

1 file changed

+7
-0
lines changed

src/domains/incremental_solver.h

Lines changed: 7 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -135,6 +135,9 @@ class incremental_solvert:public messaget
135135
contextst contexts;
136136

137137
protected:
138+
#ifndef DEBUG
139+
null_message_handlert null_message_handler;
140+
#endif
138141
unsigned activation_literal_counter;
139142
unsigned domain_number; // ids for each domain instance to make symbols unique
140143
bool arith_refinement;
@@ -144,7 +147,11 @@ class incremental_solvert:public messaget
144147

145148
void allocate_solvers(bool arith_refinement)
146149
{
150+
#ifdef DEBUG
147151
sat_check=new satcheckt(get_message_handler());
152+
#else
153+
sat_check=new satcheckt(null_message_handler);
154+
#endif
148155
#if 0
149156
sat_check=new satcheck_minisat_no_simplifiert();
150157
#endif

0 commit comments

Comments
 (0)