From 05d91de8ac8098425d51e9af2704eb91e04a7f9b Mon Sep 17 00:00:00 2001
From: Brian Norris <banorris@uci.edu>
Date: Wed, 12 Dec 2012 15:49:29 -0800
Subject: [PATCH] model: rename 'promise_index' to 'i'
The fuction looks cleaner if the loop variable is just a simple 'i'
index.
---
model.cc | 7 +++----
1 file changed, 3 insertions(+), 4 deletions(-)
diff --git a/model.cc b/model.cc
index e364267..d7b87f6 100644
--- a/model.cc
+++ b/model.cc
@@ -1293,11 +1293,10 @@ void ModelChecker::check_curr_backtracking(ModelAction *curr)
bool ModelChecker::promises_expired() const
{
- for (unsigned int promise_index = 0; promise_index < promises->size(); promise_index++) {
- Promise *promise = (*promises)[promise_index];
- if (promise->get_expiration()<priv->used_sequence_numbers) {
+ for (unsigned int i = 0; i < promises->size(); i++) {
+ Promise *promise = (*promises)[i];
+ if (promise->get_expiration() < priv->used_sequence_numbers)
return true;
- }
}
return false;
}
--
2.34.1