model: use get_write_value()
authorBrian Norris <banorris@uci.edu>
Sat, 2 Mar 2013 23:05:44 +0000 (15:05 -0800)
committerBrian Norris <banorris@uci.edu>
Sat, 2 Mar 2013 23:05:44 +0000 (15:05 -0800)
Same implementation for now, but it could change.

model.cc

index 38d08d9..4fca7aa 100644 (file)
--- 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);