From ac726a52e92302014d59ab18d0439325a3cfcaff Mon Sep 17 00:00:00 2001 From: Brian Norris Date: Tue, 13 Aug 2013 17:32:43 -0700 Subject: [PATCH] model: only print 'Total nodes' for verbose printing Average users don't need to see this. --- model.cc | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) 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()); } /** -- 2.34.1