From be7371f287d1f458a724d97fe66494720cff7d49 Mon Sep 17 00:00:00 2001 From: Morgan Deters Date: Tue, 28 Sep 2010 20:25:47 +0000 Subject: [PATCH] fix unit test for kinded iterators in Node/TNode --- test/unit/expr/node_black.h | 14 ++++---------- 1 file changed, 4 insertions(+), 10 deletions(-) diff --git a/test/unit/expr/node_black.h b/test/unit/expr/node_black.h index fbc308597..6c5d8888f 100644 --- a/test/unit/expr/node_black.h +++ b/test/unit/expr/node_black.h @@ -510,21 +510,15 @@ public: Node x_minus_y = d_nodeManager->mkNode(kind::MINUS, x, y); { // iterator - /* FAILING TEST: - Node::iterator i = plus_x_y_z.begin(); + Node::kinded_iterator i = plus_x_y_z.begin(PLUS); TS_ASSERT(*i++ == x); TS_ASSERT(*i++ == y); TS_ASSERT(*i++ == z); - TS_ASSERT(i == plus_x_y_z.end()); + TS_ASSERT(i == plus_x_y_z.end(PLUS)); - i = x.begin(); + i = x.begin(PLUS); TS_ASSERT(*i++ == x); - TS_ASSERT(i == x.end()); - */ - } - - { // same for const iterator - //const Node& c = plus_x_y_z; + TS_ASSERT(i == x.end(PLUS)); } } -- 2.30.2