model: debug print - pending release sequences

[model-checker.git] / nodestack.cc

diff --git a/nodestack.cc b/nodestack.cc
index 28bba4d003176c405f0ed65720639052aa6c3929..c364df9f7613178e2453d05bd667f64f44ed4fde 100644 (file)
--- a/nodestack.cc
+++ b/nodestack.cc
@@ -325,9 +325,9 @@ const ModelAction * Node::get_read_from() {
 bool Node::increment_read_from() {
        DBG();
        promises.clear();
-       if ((read_from_index+1) < may_read_from.size()) {
+       if (read_from_index < may_read_from.size()) {
                read_from_index++;
-               return true;
+               return read_from_index < may_read_from.size();
        }
        return false;
 }
@@ -339,9 +339,9 @@ bool Node::increment_read_from() {
 bool Node::increment_future_value() {
        DBG();
        promises.clear();
-       if ((future_index+1) < ((int)future_values.size())) {
+       if (future_index < ((int)future_values.size())) {
                future_index++;
-               return true;
+               return (future_index < ((int)future_values.size()));
        }
        return false;
 }