X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=model.cc;h=230607a0137c957ab475ae0aee3d32f960e231c1;hb=1f2a30ddc8f38f3f45d62d169b766c0c38364ecd;hp=5625f30ca8b637e362ebe49203394e52fe9d9e11;hpb=37add7f58b9494dff8f16ef8eb858194d46d1b37;p=model-checker.git

diff --git a/model.cc b/model.cc
index 5625f30..230607a 100644
--- a/model.cc
+++ b/model.cc
@@ -241,7 +241,8 @@ void ModelChecker::print_stats() const
 	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());
 }
 
 /**