path: root/test/unit/expr/node_black.h

/* Black box testing of CVC4::Node. */

#include <cxxtest/TestSuite.h>

#include "expr/node.h"

using namespace CVC4;

class NodeBlack : public CxxTest::TestSuite {
public:

  void testNull() {
    Node::null();
  }

  void testCopyCtor() {
    Node e(Node::null());
  }
};