if (isfinalfeasible() && (is_complete_execution() || have_bug_reports())) {
model_print("Earliest divergence point since last feasible execution:\n");
if (earliest_diverge)
if (isfinalfeasible() && (is_complete_execution() || have_bug_reports())) {
model_print("Earliest divergence point since last feasible execution:\n");
if (earliest_diverge)
{
action_list_t::iterator it;
model_print("---------------------------------------------------------------------\n");
{
action_list_t::iterator it;
model_print("---------------------------------------------------------------------\n");