From ceac3a2484741a39bcb00f8593514f65be8bbe85 Mon Sep 17 00:00:00 2001 From: Brian Norris Date: Wed, 16 Jan 2013 17:42:57 -0800 Subject: [PATCH] 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. --- model.cc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/model.cc b/model.cc index 9c348843..e6df37f8 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 { -- 2.34.1