print stats only at end of execution

[model-checker.git] / model.cc

diff --git a/model.cc b/model.cc
index 8dcb6f3ad8e69a0e82ad3991c4425a35f1a24640..0bc2bde830b97780a2647d2c2c8385c7ddaf8b00 100644 (file)
--- a/model.cc
+++ b/model.cc
@@ -436,7 +436,6 @@ bool ModelChecker::next_execution()
                checkDataRaces();
                print_bugs();
                model_print("\n");
-               print_stats();
                print_summary();
        } else if (DBG_ENABLED()) {
                model_print("\n");