From: Brian Demsky <bdemsky@uci.edu>
Date: Wed, 18 Jul 2012 05:28:20 +0000 (-0700)
Subject: print less stuff
X-Git-Url: http://plrg.eecs.uci.edu/git/?p=c11tester.git;a=commitdiff_plain;h=187f2106785fe1ea4d34b0aee54d68468630675e

print less stuff
---

diff --git a/model.cc b/model.cc
index 31809918..0e24f1b0 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();