model: rename 'reads_from' to 'rf'

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) {
-               const ModelAction *reads_from = curr->get_node()->get_read_from_past();
-               if (reads_from != NULL) {
+               const ModelAction *rf = curr->get_node()->get_read_from_past();
+               if (rf != NULL) {
                        mo_graph->startChanges();
 
-                       value = reads_from->get_value();
+                       value = rf->get_value();
 
-                       check_recency(curr, reads_from);
-                       bool r_status = r_modification_order(curr, reads_from);
+                       check_recency(curr, rf);
+                       bool r_status = r_modification_order(curr, rf);
 
                        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;
                        }
 
-                       read_from(curr, reads_from);
+                       read_from(curr, rf);
                        mo_graph->commitChanges();
                        mo_check_promises(curr, true);