From d9e24346b98954bd73c9b798fd31031ff3781163 Mon Sep 17 00:00:00 2001 From: Brian Norris Date: Thu, 13 Dec 2012 15:18:12 -0800 Subject: [PATCH] nodestack: print extra backtracking info If we ever use the Node::print() method, print some extra info about backtracking. --- nodestack.cc | 10 ++++++++-- 1 file changed, 8 insertions(+), 2 deletions(-) diff --git a/nodestack.cc b/nodestack.cc index 58741f7..d144a9d 100644 --- a/nodestack.cc +++ b/nodestack.cc @@ -90,9 +90,15 @@ Node::~Node() /** Prints debugging info for the ModelAction associated with this Node */ void Node::print() { - if (action) + if (action) { action->print(); - else + model_print(" backtrack: %s\n", backtrack_empty() ? "empty" : "non-empty"); + model_print(" future values: %s\n", future_value_empty() ? "empty" : "non-empty"); + model_print(" read-from: %s\n", read_from_empty() ? "empty" : "non-empty"); + model_print(" promises: %s\n", promise_empty() ? "empty" : "non-empty"); + model_print(" misc: %s\n", misc_empty() ? "empty" : "non-empty"); + model_print(" rel seq break: %s\n", relseq_break_empty() ? "empty" : "non-empty"); + } else model_print("******** empty action ********\n"); } -- 2.34.1