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://plrg.eecs.uci.edu/git/?p=c11tester.git;a=commitdiff_plain;h=c85ff0994ebbff3dc1d5f0eeda3efc780d5d3ce8;hp=6a0e918d9c3b534d025afdaeac5d931d0a6f323e

model: add current action work_queue comment
---

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()) {