From 5b77072388b791acaa97ba4b01a0bdb85b21975e Mon Sep 17 00:00:00 2001
From: Brian Norris <banorris@uci.edu>
Date: Thu, 3 May 2012 11:08:36 -0700
Subject: [PATCH] model: split printing into print_list() function

---
 model.cc | 20 +++++++++++++-------
 model.h  |  2 ++
 2 files changed, 15 insertions(+), 7 deletions(-)

diff --git a/model.cc b/model.cc
index c829312..976b395 100644
--- a/model.cc
+++ b/model.cc
@@ -206,19 +206,25 @@ void ModelChecker::check_current_action(void)
 
 void ModelChecker::print_summary(void)
 {
-	action_list_t::iterator it;
-
 	printf("\n");
-	printf("---------------------------------------------------------------------\n");
 	printf("Number of executions: %d\n", num_executions);
-	printf("Total nodes created: %d\n\n", TreeNode::getTotalNodes());
+	printf("Total nodes created: %d\n", TreeNode::getTotalNodes());
 
 	scheduler->print();
 
-	printf("Trace:\n\n");
+	print_list(action_trace);
+	printf("\n");
+
+}
+
+void ModelChecker::print_list(action_list_t *list)
+{
+	action_list_t::iterator it;
+
+	printf("---------------------------------------------------------------------\n");
+	printf("Trace:\n");
 
-	for (it = action_trace->begin(); it != action_trace->end(); it++) {
-		DBG();
+	for (it = list->begin(); it != list->end(); it++) {
 		(*it)->print();
 	}
 	printf("---------------------------------------------------------------------\n");
diff --git a/model.h b/model.h
index 033bde2..2933f54 100644
--- a/model.h
+++ b/model.h
@@ -71,6 +71,8 @@ private:
 	Backtrack * get_next_backtrack();
 	void reset_to_initial_state();
 
+	void print_list(action_list_t *list);
+
 	class ModelAction *current_action;
 	Backtrack *exploring;
 	thread_id_t nextThread;
-- 
2.34.1