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 5625f30ca8b637e362ebe49203394e52fe9d9e11..230607a0137c957ab475ae0aee3d32f960e231c1 100644 (file)
--- 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());
 }
 
 /**