model: make comment more accurate
authorBrian Norris <banorris@uci.edu>
Thu, 21 Jun 2012 18:17:40 +0000 (11:17 -0700)
committerBrian Norris <banorris@uci.edu>
Thu, 21 Jun 2012 18:17:40 +0000 (11:17 -0700)
add_action_to_lists() does not only work on the per-object, per-thread action
list. It performs several pieces of bookkeeping.

model.cc

index 19d273d..91ceae4 100644 (file)
--- 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);