From 8d4a273698366b54612e40742ef6fb7bd63c7090 Mon Sep 17 00:00:00 2001 From: Brian Norris Date: Sat, 2 Mar 2013 15:05:44 -0800 Subject: [PATCH] model: use get_write_value() Same implementation for now, but it could change. --- model.cc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/model.cc b/model.cc index 38d08d98..4fca7aad 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); -- 2.34.1