From: Brian Norris <banorris@uci.edu>
Date: Sat, 2 Mar 2013 23:05:44 +0000 (-0800)
Subject: model: use get_write_value()
X-Git-Tag: oopsla2013~174
X-Git-Url: http://plrg.eecs.uci.edu/git/?p=model-checker.git;a=commitdiff_plain;h=8d4a273698366b54612e40742ef6fb7bd63c7090

model: use get_write_value()

Same implementation for now, but it could change.
---

diff --git a/model.cc b/model.cc
index 38d08d9..4fca7aa 100644
--- a/model.cc
+++ b/model.cc
@@ -874,7 +874,7 @@ bool ModelChecker::process_read(ModelAction *curr)
 			}
 
 			updated = r_modification_order(curr, rf);
-			value = rf->get_value();
+			value = rf->get_write_value();
 			read_from(curr, rf);
 			mo_graph->commitChanges();
 			mo_check_promises(curr, true);