From 56ed2751a8f9fe48129271a5d6ba574d8a078166 Mon Sep 17 00:00:00 2001
From: Brian Norris <banorris@uci.edu>
Date: Tue, 25 Sep 2012 16:50:59 -0700
Subject: [PATCH] model: trivial - rename 'updated' -> 'update'
---
model.cc | 8 ++++----
1 file changed, 4 insertions(+), 4 deletions(-)
diff --git a/model.cc b/model.cc
index a9d9477..e7ab3bb 100644
--- a/model.cc
+++ b/model.cc
@@ -617,20 +617,20 @@ Thread * ModelChecker::check_current_action(ModelAction *curr)
switch (work.type) {
case WORK_CHECK_CURR_ACTION: {
ModelAction *act = work.action;
- bool updated = false;
+ bool update = false; /* update this location's release seq's */
process_thread_action(curr);
if (act->is_read() && process_read(act, second_part_of_rmw))
- updated = true;
+ update = true;
if (act->is_write() && process_write(act))
- updated = true;
+ update = true;
if (act->is_mutex_op())
process_mutex(act);
- if (updated)
+ if (update)
work_queue.push_back(CheckRelSeqWorkEntry(act->get_location()));
break;
}
--
2.34.1