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

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

#include <cxxtest/TestSuite.h>

#include "expr/expr.h"

using namespace CVC4;

class ExprWhite : public CxxTest::TestSuite {
public:

  void testNull() {
    Node::s_null;
  }

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