model_print("Number of buggy executions: %d\n", stats.num_buggy_executions);
model_print("Number of infeasible executions: %d\n", stats.num_infeasible);
model_print("Total executions: %d\n", stats.num_total);
- model_print("Total nodes created: %d\n", node_stack->get_total_nodes());
+ if (params.verbose)
+ model_print("Total nodes created: %d\n", node_stack->get_total_nodes());
}
/**
get_execution_number());
print_program_output();
- if (params.verbose >= 2) {
+ if (params.verbose >= 3) {
model_print("\nEarliest divergence point since last feasible execution:\n");
if (earliest_diverge)
earliest_diverge->print();
record_stats();
/* Output */
- if (params.verbose || (complete && execution->have_bug_reports()))
+ if ( (complete && params.verbose) || params.verbose>1 || (complete && execution->have_bug_reports()))
print_execution(complete);
else
clear_program_output();
execution_number++;
+ if (params.maxexecutions != 0 && stats.num_complete >= params.maxexecutions)
+ return false;
+
reset_to_initial_state();
return true;
}