From: Brian Norris <banorris@uci.edu>
Date: Thu, 21 Jun 2012 18:17:40 +0000 (-0700)
Subject: model: make comment more accurate
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=138d4a85736bd67f9adf6efeb5e3bb63165d8862;p=cdsspec-compiler.git

model: make comment more accurate

add_action_to_lists() does not only work on the per-object, per-thread action
list. It performs several pieces of bookkeeping.
---

diff --git a/model.cc b/model.cc
index 19d273d..91ceae4 100644
--- a/model.cc
+++ b/model.cc
@@ -273,12 +273,13 @@ void ModelChecker::check_current_action(void)
 	add_action_to_lists(curr);
 }
 
-
 /**
- * Adds an action to the per-object, per-thread action vector.
+ * Performs various bookkeeping operations for the current ModelAction. For
+ * instance, adds action to the per-object, per-thread action vector and to the
+ * action trace list of all thread actions.
+ *
  * @param act is the ModelAction to add.
  */
-
 void ModelChecker::add_action_to_lists(ModelAction *act)
 {
 	action_trace->push_back(act);