print less stuff

diff --git a/model.cc b/model.cc
index 31809918361c185cedc7d1ac791044f01bd23bad..0e24f1b0eaa91679726a8e805c6056acf89f824a 100644 (file)
--- 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();