projects
/
model-checker.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
4dd0204
)
model: rename PendingFutureValue 'act' to 'reader'
author
Brian Norris
<banorris@uci.edu>
Thu, 21 Mar 2013 23:01:23 +0000
(16:01 -0700)
committer
Brian Norris
<banorris@uci.edu>
Thu, 21 Mar 2013 23:01:23 +0000
(16:01 -0700)
To make it more clear
model.cc
patch
|
blob
|
history
model.h
patch
|
blob
|
history
diff --git
a/model.cc
b/model.cc
index 780633e3e6a0d4ec0f0778c09cf3403c130175e8..f0763cbfca28971b9dfd36a0fe5e76dcae41f8aa 100644
(file)
--- a/
model.cc
+++ b/
model.cc
@@
-1104,7
+1104,7
@@
bool ModelChecker::process_write(ModelAction *curr)
if (promises->empty()) {
for (unsigned int i = 0; i < futurevalues->size(); i++) {
struct PendingFutureValue pfv = (*futurevalues)[i];
if (promises->empty()) {
for (unsigned int i = 0; i < futurevalues->size(); i++) {
struct PendingFutureValue pfv = (*futurevalues)[i];
- add_future_value(pfv.writer, pfv.
act
);
+ add_future_value(pfv.writer, pfv.
reader
);
}
futurevalues->clear();
}
}
futurevalues->clear();
}
diff --git
a/model.h
b/model.h
index 07879cdbfbfe90cbbfedc077a803ae109db6c76e..faa0dfe353a6c908100cafafdac9415a7c278f28 100644
(file)
--- a/
model.h
+++ b/
model.h
@@
-73,9
+73,11
@@
struct execution_stats {
};
struct PendingFutureValue {
};
struct PendingFutureValue {
- PendingFutureValue(ModelAction *writer, ModelAction *act) : writer(writer), act(act) { }
+ PendingFutureValue(ModelAction *writer, ModelAction *reader) :
+ writer(writer), reader(reader)
+ { }
const ModelAction *writer;
const ModelAction *writer;
- ModelAction *
act
;
+ ModelAction *
reader
;
};
/** @brief Records information regarding a single pending release sequence */
};
/** @brief Records information regarding a single pending release sequence */