projects
/
model-checker.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
ca06885
)
nodestack: remove completed @todo
author
Brian Norris
<banorris@uci.edu>
Thu, 2 Aug 2012 19:35:21 +0000
(12:35 -0700)
committer
Brian Norris
<banorris@uci.edu>
Thu, 2 Aug 2012 19:35:21 +0000
(12:35 -0700)
nodestack.cc
patch
|
blob
|
history
diff --git
a/nodestack.cc
b/nodestack.cc
index b93ed460e593de1460f1e4f8feeacc58c3c3bbce..a88166f087722c084cc9a30bf4c64ea8d0f4404e 100644
(file)
--- a/
nodestack.cc
+++ b/
nodestack.cc
@@
-230,8
+230,6
@@
uint64_t Node::get_future_value() {
/**
* Gets the next 'may_read_from' action from this Node. Only valid for a node
* where this->action is a 'read'.
- * @todo Perform reads_from backtracking/replay properly, so that this function
- * may remove elements from may_read_from
* @return The first element in may_read_from
*/
const ModelAction * Node::get_read_from() {