From eb1426f85d917dff60bc087d0af04900caae9a29 Mon Sep 17 00:00:00 2001 From: Brian Norris Date: Fri, 18 Jan 2013 16:43:02 -0800 Subject: [PATCH] nodestack: improve debug prints --- nodestack.cc | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/nodestack.cc b/nodestack.cc index 088fad8..ec72def 100644 --- a/nodestack.cc +++ b/nodestack.cc @@ -89,7 +89,11 @@ Node::~Node() void Node::print() { action->print(); - model_print(" backtrack: %s\n", backtrack_empty() ? "empty" : "non-empty"); + model_print(" backtrack: %s", backtrack_empty() ? "empty" : "non-empty"); + for (int i = 0; i < (int)backtrack.size(); i++) + if (backtrack[i] == true) + model_print("[%d]", i); + model_print("\n"); 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"); -- 2.34.1