model: rename print_trace() -> print_summary(), fixup summary printing

[c11tester.git] / model.cc

diff --git a/model.cc b/model.cc
index fc0f13d886bfb6e0139c6f5999b0bd0aaf1becaf..9d23788e8939746cd8bf720e2c8ece25e46f8ae7 100644 (file)
--- a/model.cc
+++ b/model.cc
@@ -112,6 +112,7 @@ thread_id_t ModelChecker::advance_backtracking_state()
 bool ModelChecker::next_execution()
 {
        num_executions++;
+       print_summary();
        if ((exploring = model->get_next_backtrack()) == NULL)
                return false;
        model->reset_to_initial_state();
@@ -203,7 +204,7 @@ void ModelChecker::check_current_action(void)
        this->action_trace->push_back(next);
 }
 
-void ModelChecker::print_trace(void)
+void ModelChecker::print_summary(void)
 {
        action_list_t::iterator it;