From 187f2106785fe1ea4d34b0aee54d68468630675e Mon Sep 17 00:00:00 2001 From: Brian Demsky Date: Tue, 17 Jul 2012 22:28:20 -0700 Subject: [PATCH] print less stuff --- model.cc | 10 ++++++++-- 1 file changed, 8 insertions(+), 2 deletions(-) diff --git a/model.cc b/model.cc index 3180991..0e24f1b 100644 --- a/model.cc +++ b/model.cc @@ -516,11 +516,17 @@ static void print_list(action_list_t *list) void ModelChecker::print_summary(void) { + if (!isfeasible()) { + if (DBG_ENABLED()) + printf("INFEASIBLE EXECUTION!\n"); + else + return; + } + printf("\n"); printf("Number of executions: %d\n", num_executions); printf("Total nodes created: %d\n", node_stack->get_total_nodes()); - if (!isfeasible()) - printf("INFEASIBLE EXECUTION!\n"); + scheduler->print(); -- 2.34.1