From: Brian Norris <banorris@uci.edu>
Date: Tue, 25 Sep 2012 23:59:30 +0000 (-0700)
Subject: model: add current action work_queue comment
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=c85ff0994ebbff3dc1d5f0eeda3efc780d5d3ce8;p=cdsspec-compiler.git

model: add current action work_queue comment
---

diff --git a/model.cc b/model.cc
index 1e08120..2b902ba 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()) {