embarrassing bug...fixed...
authorBrian Demsky <bdemsky@uci.edu>
Thu, 25 Oct 2012 04:37:02 +0000 (21:37 -0700)
committerBrian Demsky <bdemsky@uci.edu>
Thu, 25 Oct 2012 04:37:02 +0000 (21:37 -0700)
model.cc

index 134e457..e592673 100644 (file)
--- a/model.cc
+++ b/model.cc
@@ -1815,6 +1815,7 @@ void ModelChecker::compute_promises(ModelAction *curr)
                                act->is_read() &&
                                !act->could_synchronize_with(curr) &&
                                !act->same_thread(curr) &&
+                               act->get_location() == curr->get_location() &&
                                promise->get_value() == curr->get_value()) {
                        curr->get_node()->set_promise(i);
                }