From: Tim King <taking@cs.nyu.edu>
Date: Tue, 26 Jan 2010 18:03:11 +0000 (+0000)
Subject: Undoing stupid commit mistake.  Rolling back to -r 102 for test/unit/expr/node_black.h
X-Git-Tag: cvc5-1.0.0~9337
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=e8001c8b50945ee64fd79877643978ebcf83ffa8;p=cvc5.git

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 c5a2bb609..aa99c70c4 100644
--- 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());
   }
-
 };