diff options
author | Christopher L. Conway <christopherleeconway@gmail.com> | 2010-04-05 14:28:55 +0000 |
---|---|---|
committer | Christopher L. Conway <christopherleeconway@gmail.com> | 2010-04-05 14:28:55 +0000 |
commit | 57e51c2212f1c626368c66c6fbcf78ea0ce9722e (patch) | |
tree | 6264e0a545a63bd8922fc7c2638fe003d404bdea /test/unit/expr/node_black.h | |
parent | 342c81e52224be3afc255a8a719747fa5eafdb32 (diff) |
Minor refactorings, in response to code review (Bug #73)
Diffstat (limited to 'test/unit/expr/node_black.h')
-rw-r--r-- | test/unit/expr/node_black.h | 20 |
1 files changed, 10 insertions, 10 deletions
diff --git a/test/unit/expr/node_black.h b/test/unit/expr/node_black.h index 9e199aa9a..17657683d 100644 --- a/test/unit/expr/node_black.h +++ b/test/unit/expr/node_black.h @@ -215,8 +215,8 @@ public: /* We don't have access to the ids so we can't test the implementation * in the black box tests. */ - Node a = d_nodeManager->mkVar(d_nodeManager->booleanType(), "a"); - Node b = d_nodeManager->mkVar(d_nodeManager->booleanType(), "b"); + Node a = d_nodeManager->mkVar("a", d_nodeManager->booleanType()); + Node b = d_nodeManager->mkVar("b", d_nodeManager->booleanType()); TS_ASSERT(a<b || b<a); TS_ASSERT(!(a<b && b<a)); @@ -492,10 +492,10 @@ public: void testToString() { Type* booleanType = d_nodeManager->booleanType(); - Node w = d_nodeManager->mkVar(booleanType, "w"); - Node x = d_nodeManager->mkVar(booleanType, "x"); - Node y = d_nodeManager->mkVar(booleanType, "y"); - Node z = d_nodeManager->mkVar(booleanType, "z"); + Node w = d_nodeManager->mkVar("w",booleanType); + Node x = d_nodeManager->mkVar("x",booleanType); + Node y = d_nodeManager->mkVar("y",booleanType); + Node z = d_nodeManager->mkVar("z",booleanType); Node m = NodeBuilder<>() << w << x << kind::OR; Node n = NodeBuilder<>() << m << y << z << kind::AND; @@ -505,10 +505,10 @@ public: void testToStream() { Type* booleanType = d_nodeManager->booleanType(); - Node w = d_nodeManager->mkVar(booleanType, "w"); - Node x = d_nodeManager->mkVar(booleanType, "x"); - Node y = d_nodeManager->mkVar(booleanType, "y"); - Node z = d_nodeManager->mkVar(booleanType, "z"); + Node w = d_nodeManager->mkVar("w",booleanType); + Node x = d_nodeManager->mkVar("x",booleanType); + Node y = d_nodeManager->mkVar("y",booleanType); + Node z = d_nodeManager->mkVar("z",booleanType); Node m = NodeBuilder<>() << x << y << kind::OR; Node n = NodeBuilder<>() << w << m << z << kind::AND; Node o = NodeBuilder<>() << n << n << kind::XOR; |