summaryrefslogtreecommitdiff
path: root/test/expr/expr_white.h
blob: b6bfdd394b29a25d32577bee91630da8b4b0e06b (plain) 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19

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

#include <cxxtest/TestSuite.h>

#include "cvc4_expr.h"

using namespace CVC4;

class ExprWhite : public CxxTest::TestSuite {
public:

  void testNull() {
    Expr::s_null;
  }

  void testCopyCtor() {
    Expr e(Expr::s_null);
  }
};
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback