From: Brian Norris <banorris@uci.edu>
Date: Thu, 17 Jan 2013 01:42:57 +0000 (-0800)
Subject: model: bugfix - sleep sets are NOT directly compatible with DPOR
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=ceac3a2484741a39bcb00f8593514f65be8bbe85;p=cdsspec-compiler.git

model: bugfix - sleep sets are NOT directly compatible with DPOR

We failed to incorporate changes from the POPL'05 DPOR paper's addendum,
preventing us from seeing all behaviors in some test programs. This
fixes that.
---

diff --git a/model.cc b/model.cc
index 9c34884..e6df37f 100644
--- a/model.cc
+++ b/model.cc
@@ -614,7 +614,7 @@ void ModelChecker::set_backtracking(ModelAction *act)
 	Node *node = prev->get_node()->get_parent();
 
 	int low_tid, high_tid;
-	if (node->is_enabled(t)) {
+	if (node->enabled_status(t->get_id()) == THREAD_ENABLED) {
 		low_tid = id_to_int(act->get_tid());
 		high_tid = low_tid + 1;
 	} else {