From 138d4a85736bd67f9adf6efeb5e3bb63165d8862 Mon Sep 17 00:00:00 2001 From: Brian Norris Date: Thu, 21 Jun 2012 11:17:40 -0700 Subject: [PATCH] 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. --- model.cc | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) 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); -- 2.34.1