diff options
| -rw-r--r-- | src/nodedumper.cc | 2 | ||||
| -rw-r--r-- | src/nodedumper.h | 1 |
2 files changed, 2 insertions, 1 deletions
diff --git a/src/nodedumper.cc b/src/nodedumper.cc index 1956a89..66a8406 100644 --- a/src/nodedumper.cc +++ b/src/nodedumper.cc @@ -43,6 +43,7 @@ string NodeDumper::dumpChildren(const AbstractNode &node) for (ChildList::const_iterator iter = this->visitedchildren[node.index()].begin(); iter != this->visitedchildren[node.index()].end(); iter++) { +// FIXME: assert that cache contains **iter dump << this->cache[**iter] << "\n"; } @@ -81,6 +82,7 @@ Response NodeDumper::visit(const State &state, const AbstractNode &node) const string &NodeDumper::getDump() const { assert(this->root); +// FIXME: assert that cache contains root return this->cache[*this->root]; } diff --git a/src/nodedumper.h b/src/nodedumper.h index 568d578..ac965ca 100644 --- a/src/nodedumper.h +++ b/src/nodedumper.h @@ -33,5 +33,4 @@ private: NodeCache<string> cache; }; - #endif |