GCC Code Coverage Report
Directory: . Exec Total Coverage
File: test/unit/test_node.h Lines: 9 9 100.0 %
Date: 2021-03-22 Branches: 6 12 50.0 %

Line Exec Source
1
/*********************                                                        */
2
/*! \file test_node.h
3
 ** \verbatim
4
 ** Top contributors (to current version):
5
 **   Aina Niemetz
6
 ** This file is part of the CVC4 project.
7
 ** Copyright (c) 2009-2021 by the authors listed in the file AUTHORS
8
 ** in the top-level source directory and their institutional affiliations.
9
 ** All rights reserved.  See the file COPYING in the top-level source
10
 ** directory for licensing information.\endverbatim
11
 **
12
 ** \brief Common header for Node unit tests.
13
 **/
14
15
#ifndef CVC4__TEST__UNIT__TEST_NODE_H
16
#define CVC4__TEST__UNIT__TEST_NODE_H
17
18
#include "expr/node_manager.h"
19
#include "smt/smt_engine.h"
20
#include "smt/smt_engine_scope.h"
21
#include "test.h"
22
23
namespace CVC4 {
24
namespace test {
25
26
444
class TestNode : public TestInternal
27
{
28
 protected:
29
222
  void SetUp() override
30
  {
31
222
    d_nodeManager.reset(new NodeManager());
32
222
    d_scope.reset(new NodeManagerScope(d_nodeManager.get()));
33
222
    d_boolTypeNode.reset(new TypeNode(d_nodeManager->booleanType()));
34
222
    d_bvTypeNode.reset(new TypeNode(d_nodeManager->mkBitVectorType(2)));
35
222
    d_intTypeNode.reset(new TypeNode(d_nodeManager->integerType()));
36
222
    d_realTypeNode.reset(new TypeNode(d_nodeManager->realType()));
37
222
  }
38
39
  std::unique_ptr<NodeManagerScope> d_scope;
40
  std::unique_ptr<NodeManager> d_nodeManager;
41
  std::unique_ptr<TypeNode> d_boolTypeNode;
42
  std::unique_ptr<TypeNode> d_bvTypeNode;
43
  std::unique_ptr<TypeNode> d_intTypeNode;
44
  std::unique_ptr<TypeNode> d_realTypeNode;
45
};
46
47
}  // namespace test
48
}  // namespace CVC4
49
#endif