From: Brian Norris <banorris@uci.edu>
Date: Thu, 19 Apr 2012 18:31:41 +0000 (-0700)
Subject: model: add TreeNode debugging information to print_trace()
X-Git-Tag: pldi2013~539
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=9b0952262f756e69a0ef04558107c8cecdccb9ce;p=model-checker.git

model: add TreeNode debugging information to print_trace()
---

diff --git a/model.cc b/model.cc
index 404e14c..6493022 100644
--- a/model.cc
+++ b/model.cc
@@ -112,10 +112,15 @@ void ModelChecker::print_trace(void)
 {
 	std::list<class ModelAction *>::iterator it;
 
+	printf("\n");
+	printf("---------------------------------------------------------------------\n");
+	printf("Total nodes created: %d\n\n", TreeNode::getTotalNodes());
+
 	for (it = action_trace.begin(); it != action_trace.end(); it++) {
 		DBG();
 		(*it)->print();
 	}
+	printf("---------------------------------------------------------------------\n");
 }
 
 int ModelChecker::add_thread(Thread *t)