From: Brian Norris <banorris@uci.edu>
Date: Thu, 13 Dec 2012 23:18:12 +0000 (-0800)
Subject: nodestack: print extra backtracking info
X-Git-Tag: oopsla2013~416
X-Git-Url: http://demsky.eecs.uci.edu/git/?p=model-checker.git;a=commitdiff_plain;h=d9e24346b98954bd73c9b798fd31031ff3781163

nodestack: print extra backtracking info

If we ever use the Node::print() method, print some extra info about
backtracking.
---

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");
 }