Undoing stupid commit mistake. Rolling back to -r 102 for test/unit/expr/node_black.h

diff --git a/test/unit/expr/node_black.h b/test/unit/expr/node_black.h
index c5a2bb609af53362ec88c332108997e0eb787a03..aa99c70c42f091101de0d94deda2ce0baab27fe0 100644 (file)
--- a/test/unit/expr/node_black.h
+++ b/test/unit/expr/node_black.h
@@ -15,42 +15,18 @@
 
 #include <cxxtest/TestSuite.h>
 
-#include "expr/node_manager.h"
 #include "expr/node.h"
 
 using namespace CVC4;
-using namespace std;
 
 class NodeBlack : public CxxTest::TestSuite {
-private:
-
-  NodeManagerScope *d_scope;
-  NodeManager *d_nm;
-
 public:
 
-  void setUp() {
-    d_nm = new NodeManager();
-    d_scope = new NodeManagerScope(d_nm);
-  }
-
-  void tearDown(){
-    delete d_nm;
-    delete d_scope;
+  void testNull() {
+    Node::null();
   }
 
-  void testEqExpr(){
-    /*Node eqExpr(const Node& right) const;*/
-    Node left = d_nm->mkNode(TRUE);
-    Node right = d_nm->mkNode(NOT,(d_nm->mkNode(FALSE)));
-
-    Node eq = left.eqExpr(right);
-
-    Node first = *(eq.begin());
-    Node second = *(eq.begin()++);
-
-    TS_ASSERT(first.getKind() == NULL);
-    TS_ASSERT(second.getKind() == NULL);
+  void testCopyCtor() {
+    Node e(Node::null());
   }
-
 };