bug fix...recompute promises of RMW actions at divergence points

[c11tester.git] / nodestack.cc

diff --git a/nodestack.cc b/nodestack.cc
index 85bbf7169248f42e580f0ff2fc6373a4b723ba96..136e3a2eb4a2f72325db5e95e5fc9205160450b2 100644 (file)
--- a/nodestack.cc
+++ b/nodestack.cc
@@ -324,7 +324,7 @@ const ModelAction * Node::get_read_from() {
  */
 bool Node::increment_read_from() {
        DBG();
  */
 bool Node::increment_read_from() {
        DBG();

-
+       promises.clear();

        read_from_index++;
        return (read_from_index < may_read_from.size());
 }
        read_from_index++;
        return (read_from_index < may_read_from.size());
 }


@@ -335,7 +335,7 @@ bool Node::increment_read_from() {
  */
 bool Node::increment_future_value() {
        DBG();
  */
 bool Node::increment_future_value() {
        DBG();

-
+       promises.clear();

        future_index++;
        return (future_index < future_values.size());
 }
        future_index++;
        return (future_index < future_values.size());
 }