X-Git-Url: http://plrg.eecs.uci.edu/git/?a=blobdiff_plain;f=model.cc;h=07c81b9eed2108a32df8c50b87fb18c38f355d21;hb=764e70356b8d387397f489f36e277470347b3e64;hp=436ef77cf067983abf5f45d90f8c58517030c76f;hpb=9603efba5f5006b21140286138ba7e003d29e997;p=c11tester.git

diff --git a/model.cc b/model.cc
index 436ef77c..07c81b9e 100644
--- a/model.cc
+++ b/model.cc
@@ -281,7 +281,8 @@ void ModelChecker::check_current_action(void)
 	if (curr->is_read()) {
 		const ModelAction *reads_from = curr->get_node()->get_next_read_from();
 		value = reads_from->get_value();
-		curr->set_value(value);
+		/* Assign reads_from, perform release/acquire synchronization */
+		curr->read_from(reads_from);
 	}
 	th->set_return_value(value);
 }