From 7c77391dff9f4cf3166d47015494f0af276963f0 Mon Sep 17 00:00:00 2001 From: Brian Norris Date: Tue, 25 Sep 2012 17:00:53 -0700 Subject: [PATCH] model: one release sequence may help resolve another --- model.cc | 2 ++ 1 file changed, 2 insertions(+) diff --git a/model.cc b/model.cc index e3d26d3..38f40e5 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)); -- 2.34.1