From 27178b4c4870ab7dcbcfb1135f73a78a19cf4ff8 Mon Sep 17 00:00:00 2001 From: Brian Norris Date: Thu, 13 Sep 2012 11:45:42 -0700 Subject: [PATCH] model: trivial fixups --- model.cc | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/model.cc b/model.cc index b566b628..1cde3546 100644 --- a/model.cc +++ b/model.cc @@ -393,6 +393,7 @@ Thread * ModelChecker::check_current_action(ModelAction *curr) } bool updated = false; + if (curr->is_read()) { updated = process_read(curr, get_thread(curr), second_part_of_rmw); } @@ -400,7 +401,7 @@ Thread * ModelChecker::check_current_action(ModelAction *curr) if (curr->is_write()) { bool updated_mod_order = w_modification_order(curr); bool updated_promises = resolve_promises(curr); - updated = updated_mod_order|updated_promises; + updated = updated_mod_order || updated_promises; if (promises->size()==0) { for (unsigned int i = 0; isize(); i++) { -- 2.34.1