From c85ff0994ebbff3dc1d5f0eeda3efc780d5d3ce8 Mon Sep 17 00:00:00 2001 From: Brian Norris Date: Tue, 25 Sep 2012 16:59:30 -0700 Subject: [PATCH 1/1] model: add current action work_queue comment --- model.cc | 1 + 1 file changed, 1 insertion(+) diff --git a/model.cc b/model.cc index 1e081204..2b902ba8 100644 --- a/model.cc +++ b/model.cc @@ -613,6 +613,7 @@ Thread * ModelChecker::check_current_action(ModelAction *curr) build_reads_from_past(curr); curr = newcurr; + /* Initialize work_queue with the "current action" work */ work_queue_t work_queue(1, CheckCurrWorkEntry(curr)); while (!work_queue.empty()) { -- 2.34.1