projects
/
c11tester.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
model: rename 'reads_from' to 'rf'
[c11tester.git]
/
model.cc
diff --git
a/model.cc
b/model.cc
index 649f3d95a8bf555e4271cd260014be4daf78c876..0c201fd381aa239eeaa060d6e46f22aae9023579 100644
(file)
--- a/
model.cc
+++ b/
model.cc
@@
-851,14
+851,14
@@
bool ModelChecker::process_read(ModelAction *curr)
uint64_t value = VALUE_NONE;
bool updated = false;
while (true) {
uint64_t value = VALUE_NONE;
bool updated = false;
while (true) {
- const ModelAction *r
eads_from
= curr->get_node()->get_read_from_past();
- if (r
eads_from
!= NULL) {
+ const ModelAction *r
f
= curr->get_node()->get_read_from_past();
+ if (r
f
!= NULL) {
mo_graph->startChanges();
mo_graph->startChanges();
- value = r
eads_from
->get_value();
+ value = r
f
->get_value();
- check_recency(curr, r
eads_from
);
- bool r_status = r_modification_order(curr, r
eads_from
);
+ check_recency(curr, r
f
);
+ bool r_status = r_modification_order(curr, r
f
);
if (is_infeasible() && (curr->get_node()->increment_read_from_past() || curr->get_node()->increment_future_value())) {
mo_graph->rollbackChanges();
if (is_infeasible() && (curr->get_node()->increment_read_from_past() || curr->get_node()->increment_future_value())) {
mo_graph->rollbackChanges();
@@
-866,7
+866,7
@@
bool ModelChecker::process_read(ModelAction *curr)
continue;
}
continue;
}
- read_from(curr, r
eads_from
);
+ read_from(curr, r
f
);
mo_graph->commitChanges();
mo_check_promises(curr, true);
mo_graph->commitChanges();
mo_check_promises(curr, true);