From: Brian Norris <banorris@uci.edu>
Date: Sat, 19 Jan 2013 00:43:02 +0000 (-0800)
Subject: nodestack: improve debug prints
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=eb1426f85d917dff60bc087d0af04900caae9a29;p=c11tester.git

nodestack: improve debug prints
---

diff --git a/nodestack.cc b/nodestack.cc
index 088fad89..ec72def0 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");