model: add TreeNode debugging information to print_trace()

diff --git a/model.cc b/model.cc
index 404e14c7e9e0bd515b6a5372173dba50eace0111..6493022e090670e3c5dde9c0cbf924a9f2abc5f5 100644 (file)
--- 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)