diff options
Diffstat (limited to 'test/unit/expr/attribute_black.h')
-rw-r--r-- | test/unit/expr/attribute_black.h | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/test/unit/expr/attribute_black.h b/test/unit/expr/attribute_black.h index 8e7f89795..93fbe049a 100644 --- a/test/unit/expr/attribute_black.h +++ b/test/unit/expr/attribute_black.h @@ -74,7 +74,7 @@ public: void testDeallocation() { TypeNode booleanType = d_nodeManager->booleanType(); - Node* node = new Node(d_nodeManager->mkVar(booleanType)); + Node* node = new Node(d_nodeManager->mkSkolem(booleanType)); MyData* data; MyData* data1; MyDataAttribute attr; @@ -92,7 +92,7 @@ public: typedef expr::CDAttribute<CDPrimitiveIntAttributeId,uint64_t> CDPrimitiveIntAttribute; void testInts(){ TypeNode booleanType = d_nodeManager->booleanType(); - Node* node = new Node(d_nodeManager->mkVar(booleanType)); + Node* node = new Node(d_nodeManager->mkSkolem(booleanType)); const uint64_t val = 63489; uint64_t data0 = 0; uint64_t data1 = 0; @@ -120,9 +120,9 @@ public: typedef expr::CDAttribute<CDTNodeAttributeId, TNode> CDTNodeAttribute; void testTNodes(){ TypeNode booleanType = d_nodeManager->booleanType(); - Node* node = new Node(d_nodeManager->mkVar(booleanType)); + Node* node = new Node(d_nodeManager->mkSkolem(booleanType)); - Node val(d_nodeManager->mkVar(booleanType)); + Node val(d_nodeManager->mkSkolem(booleanType)); TNode data0; TNode data1; @@ -155,7 +155,7 @@ public: typedef expr::CDAttribute<CDPtrAttributeId, Foo*> CDPtrAttribute; void testPtrs(){ TypeNode booleanType = d_nodeManager->booleanType(); - Node* node = new Node(d_nodeManager->mkVar(booleanType)); + Node* node = new Node(d_nodeManager->mkSkolem(booleanType)); Foo* val = new Foo(63489); Foo* data0 = NULL; @@ -186,7 +186,7 @@ public: typedef expr::CDAttribute<CDConstPtrAttributeId, const Foo*> CDConstPtrAttribute; void testConstPtrs(){ TypeNode booleanType = d_nodeManager->booleanType(); - Node* node = new Node(d_nodeManager->mkVar(booleanType)); + Node* node = new Node(d_nodeManager->mkSkolem(booleanType)); const Foo* val = new Foo(63489); const Foo* data0 = NULL; @@ -216,7 +216,7 @@ public: typedef expr::CDAttribute<CDStringAttributeId, std::string> CDStringAttribute; void testStrings(){ TypeNode booleanType = d_nodeManager->booleanType(); - Node* node = new Node(d_nodeManager->mkVar(booleanType)); + Node* node = new Node(d_nodeManager->mkSkolem(booleanType)); std::string val("63489"); std::string data0; @@ -245,7 +245,7 @@ public: typedef expr::CDAttribute<CDBoolAttributeId, bool> CDBoolAttribute; void testBools(){ TypeNode booleanType = d_nodeManager->booleanType(); - Node* node = new Node(d_nodeManager->mkVar(booleanType)); + Node* node = new Node(d_nodeManager->mkSkolem(booleanType)); bool val = true; bool data0 = false; |