From: Brian Norris <banorris@uci.edu>
Date: Thu, 28 Feb 2013 01:48:48 +0000 (-0800)
Subject: model: rename 'reads_from' to 'rf'
X-Git-Url: http://plrg.eecs.uci.edu/git/?p=c11tester.git;a=commitdiff_plain;h=32b70968c21a1d21a41010f00c5f9a82a9fbdbd1;hp=ee745811958143fe03e854709a649c2954dd6d16

model: rename 'reads_from' to 'rf'
---

diff --git a/model.cc b/model.cc
index 649f3d95..0c201fd3 100644
--- 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);