X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=model.cc;h=773d723e2a6a0db67f1419c0d7276080002bbf11;hb=1873837128eca281cb7ccae1ca564af56e1e10b4;hp=bf956804479f3f1e82fe8f04fb273d50ce7c9cbb;hpb=6357baf85edec072a52c7ea18e9fdb087765f9cb;p=model-checker.git

diff --git a/model.cc b/model.cc
index bf95680..773d723 100644
--- a/model.cc
+++ b/model.cc
@@ -175,6 +175,10 @@ void ModelChecker::print_trace(void)
 	printf("---------------------------------------------------------------------\n");
 	printf("Total nodes created: %d\n\n", TreeNode::getTotalNodes());
 
+	scheduler->print();
+
+	printf("\nTrace:\n\n");
+
 	for (it = action_trace->begin(); it != action_trace->end(); it++) {
 		DBG();
 		(*it)->print();