From: Brian Norris <banorris@uci.edu>
Date: Tue, 24 Apr 2012 04:18:06 +0000 (-0700)
Subject: model: rename print_trace() -> print_summary(), fixup summary printing
X-Git-Tag: pldi2013~509
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=6f2366a6076df350d1f7e0b562a61b3b99339b1f;p=model-checker.git

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

diff --git a/model.cc b/model.cc
index fc0f13d..9d23788 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;
 
diff --git a/model.h b/model.h
index 8cfd66f..80a27aa 100644
--- a/model.h
+++ b/model.h
@@ -75,7 +75,7 @@ public:
 
 	void set_current_action(ModelAction *act) { current_action = act; }
 	void check_current_action(void);
-	void print_trace(void);
+	void print_summary(void);
 	Thread * schedule_next_thread();
 
 	int add_thread(Thread *t);
diff --git a/threads.cc b/threads.cc
index 7e23f59..456414d 100644
--- a/threads.cc
+++ b/threads.cc
@@ -158,8 +158,6 @@ int main()
 
 		/* Wait for all threads to complete */
 		thread_wait_finish();
-
-		model->print_trace();
 	} while (model->next_execution());
 
 	delete th;