From a7c74db9679fc8ea70f1e14eda1ab2cee6f27740 Mon Sep 17 00:00:00 2001
From: Brian Norris <banorris@uci.edu>
Date: Mon, 28 May 2012 12:45:54 -0700
Subject: [PATCH] model: set 'last action in thread' as an action's parent

This is a step toward synchronizing clock vectors properly: on exploration of
an action, we use only the last action in the current thread as the 'parent'
(or NULL).

Note that this still does not include the parent thread in determining each
ModelAction's parent.
---
 model.cc | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/model.cc b/model.cc
index 8656d6b..0a08717 100644
--- a/model.cc
+++ b/model.cc
@@ -211,7 +211,8 @@ void ModelChecker::check_current_action(void)
 		return;
 	}
 
-	curr = node_stack->explore_action(curr, NULL);
+	/* TODO: if get_last_action() is NULL, sync with parent thread */
+	curr = node_stack->explore_action(curr, get_last_action(curr->get_tid()));
 	nextThread = get_next_replay_thread();
 
 	currnode = curr->get_node();
-- 
2.34.1