Always set 'verbose' when we are compiling a DEBUG build.
params->bound = 0;
params->maxfuturevalues = 0;
params->expireslop = 10;
- params->verbose = 0;
+ params->verbose = !!DBG_ENABLED();
}
static void print_usage(struct model_params *params)
{
print_program_output();
- if (DBG_ENABLED() || params.verbose) {
+ if (params.verbose) {
model_print("Earliest divergence point since last feasible execution:\n");
if (earliest_diverge)
earliest_diverge->print();
record_stats();
/* Output */
- if (DBG_ENABLED() || params.verbose || (complete && have_bug_reports()))
+ if (params.verbose || (complete && have_bug_reports()))
print_execution(complete);
else
clear_program_output();