From: Brian Norris <banorris@uci.edu>
Date: Wed, 14 Aug 2013 00:32:43 +0000 (-0700)
Subject: model: only print 'Total nodes' for verbose printing
X-Git-Tag: oopsla2015~24
X-Git-Url: http://plrg.eecs.uci.edu/git/?p=model-checker.git;a=commitdiff_plain;h=ac726a52e92302014d59ab18d0439325a3cfcaff

model: only print 'Total nodes' for verbose printing

Average users don't need to see this.
---

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());
 }
 
 /**