From: Brian Norris <banorris@uci.edu>
Date: Sat, 26 May 2012 02:16:06 +0000 (-0700)
Subject: nodestack: create ModelAction clock vectors
X-Git-Tag: pldi2013~392^2~18
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=badfcf21c3b782bee736e936132e3c6873859053;p=model-checker.git

nodestack: create ModelAction clock vectors

Only create the clock vector if the ModelAction will be retained in our
nodestack, and hence will be used for synchronization, etc.
---

diff --git a/nodestack.cc b/nodestack.cc
index 379fb3b..4cbd7ce 100644
--- a/nodestack.cc
+++ b/nodestack.cc
@@ -139,6 +139,7 @@ ModelAction * NodeStack::explore_action(ModelAction *act)
 
 		/* Record action */
 		get_head()->explore_child(act);
+		act->create_cv(get_head()->get_action());
 		node_list.push_back(new Node(act, get_head()));
 		iter++;
 	}