projects
/
model-checker.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
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();
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++;
read_from_index++;
- return
true
;
+ return
read_from_index < may_read_from.size()
;
}
return false;
}
}
return false;
}
@@
-339,9
+339,9
@@
bool Node::increment_read_from() {
bool Node::increment_future_value() {
DBG();
promises.clear();
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++;
future_index++;
- return
true
;
+ return
(future_index < ((int)future_values.size()))
;
}
return false;
}
}
return false;
}