diff options
Diffstat (limited to 'test')
-rw-r--r-- | test/unit/Makefile.am | 3 | ||||
-rw-r--r-- | test/unit/context/context_black.h | 43 |
2 files changed, 45 insertions, 1 deletions
diff --git a/test/unit/Makefile.am b/test/unit/Makefile.am index dfe345afe..9984a9111 100644 --- a/test/unit/Makefile.am +++ b/test/unit/Makefile.am @@ -2,7 +2,8 @@ UNIT_TESTS = \ expr/node_white \ expr/node_black \ - parser/parser_black + parser/parser_black \ + context/context_black # Things that aren't tests but that tests rely on and need to # go into the distribution diff --git a/test/unit/context/context_black.h b/test/unit/context/context_black.h new file mode 100644 index 000000000..44ed52dea --- /dev/null +++ b/test/unit/context/context_black.h @@ -0,0 +1,43 @@ +/********************* -*- C++ -*- */ +/** node_black.h + ** Original author: mdeters + ** Major contributors: none + ** Minor contributors (to current version): dejan + ** This file is part of the CVC4 prototype. + ** Copyright (c) 2009 The Analysis of Computer Systems Group (ACSys) + ** Courant Institute of Mathematical Sciences + ** New York University + ** See the file COPYING in the top-level source directory for licensing + ** information. + ** + ** Black box testing of CVC4::Node. + **/ + +#include <cxxtest/TestSuite.h> + +//Used in some of the tests +#include <vector> +#include "context/context.h" + +using namespace std; +using namespace CVC4::context; + +class ContextBlack : public CxxTest::TestSuite { +private: + + Context* d_context; + +public: + + void setUp() { + d_context = new Context(); + } + + void testIntCDO() { + CDO<int> a1(d_context); + } + + void tearDown(){ + delete d_context; + } +}; |