improve scheduler debugging

[model-checker.git] / model.cc

diff --git a/model.cc b/model.cc
index bf956804479f3f1e82fe8f04fb273d50ce7c9cbb..773d723e2a6a0db67f1419c0d7276080002bbf11 100644 (file)
--- 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();