From: Brian Norris <banorris@uci.edu>
Date: Wed, 26 Sep 2012 00:00:53 +0000 (-0700)
Subject: model: one release sequence may help resolve another
X-Git-Url: http://plrg.eecs.uci.edu/git/?p=c11tester.git;a=commitdiff_plain;h=7c77391dff9f4cf3166d47015494f0af276963f0

model: one release sequence may help resolve another
---

diff --git a/model.cc b/model.cc
index e3d26d32..38f40e5c 100644
--- a/model.cc
+++ b/model.cc
@@ -1311,6 +1311,8 @@ bool ModelChecker::resolve_release_sequences(void *location, work_queue_t *work_
 		}
 
 		if (updated) {
+			/* Re-check all pending release sequences */
+			work_queue->push_back(CheckRelSeqWorkEntry(NULL));
 			/* Re-check act for mo_graph edges */
 			work_queue->push_back(MOEdgeWorkEntry(act));