projects
/
cdsspec-compiler.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
Merge branch 'master' of ssh://demsky.eecs.uci.edu/home/git/model-checker
[cdsspec-compiler.git]
/
model.cc
diff --git
a/model.cc
b/model.cc
index 0fb315e24ce5b4a8e0c5db6d3c15516080f3e10e..09e6b9da3150ddc88de4cc4b8ce363725cc493f3 100644
(file)
--- a/
model.cc
+++ b/
model.cc
@@
-1095,7
+1095,7
@@
void ModelChecker::check_recency(ModelAction *curr, const ModelAction *rf) {
ModelAction *act=*rit;
bool foundvalue = false;
for (int j = 0; j<act->get_node()->get_read_from_size(); j++) {
- if (act->get_node()->get_read_from_at(
i
)==write) {
+ if (act->get_node()->get_read_from_at(
j
)==write) {
foundvalue = true;
break;
}