X-Git-Url: http://plrg.eecs.uci.edu/git/?p=c11tester.git;a=blobdiff_plain;f=model.cc;h=9d23788e8939746cd8bf720e2c8ece25e46f8ae7;hp=fc0f13d886bfb6e0139c6f5999b0bd0aaf1becaf;hb=6f2366a6076df350d1f7e0b562a61b3b99339b1f;hpb=d4361e592c3a19d3a4ec24cea410118eac798b79

diff --git a/model.cc b/model.cc
index fc0f13d8..9d23788e 100644
--- 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;