projects
/
model-checker.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
fix my todo comments so they appear in documentation
[model-checker.git]
/
nodestack.cc
diff --git
a/nodestack.cc
b/nodestack.cc
index e8f377b51a6dfbca7e59dc69b1a81a5b19cac196..409c4e1e52ba431b729ec4b1c6d95168cfbc675b 100644
(file)
--- a/
nodestack.cc
+++ b/
nodestack.cc
@@
-114,7
+114,7
@@
bool Node::set_backtrack(thread_id_t id)
thread_id_t Node::get_next_backtrack()
{
thread_id_t Node::get_next_backtrack()
{
- /*
TODO: f
ind next backtrack */
+ /*
* @todo F
ind next backtrack */
unsigned int i;
for (i = 0; i < backtrack.size(); i++)
if (backtrack[i] == true)
unsigned int i;
for (i = 0; i < backtrack.size(); i++)
if (backtrack[i] == true)