diff options
author | Morgan Deters <mdeters@gmail.com> | 2010-10-12 21:10:36 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2010-10-12 21:10:36 +0000 |
commit | 3d97646be5eb3f2b50028875f4d899698228e8c7 (patch) | |
tree | 691e57f07b76c3413cebabb7ece4536eb309de16 /test/unit/expr | |
parent | 2bc4c351bbf89103577fa9f33ebb395f5d61826a (diff) |
hooked up "we are incomplete" flag after conversation with Tim (a theory notifies the theory engine through its output channel); some cleanup; add a regression for bug #216
Diffstat (limited to 'test/unit/expr')
-rw-r--r-- | test/unit/expr/node_self_iterator_black.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/test/unit/expr/node_self_iterator_black.h b/test/unit/expr/node_self_iterator_black.h index 5627a9db5..4e7c198ee 100644 --- a/test/unit/expr/node_self_iterator_black.h +++ b/test/unit/expr/node_self_iterator_black.h @@ -71,6 +71,7 @@ public: TS_ASSERT(j == NodeSelfIterator::selfEnd(x_and_y)); TS_ASSERT(i == x_and_y.end()); TS_ASSERT(j == x_and_y.end()); + i = x_and_y.begin(); TS_ASSERT(i != x_and_y.end()); TS_ASSERT(*i == x); |