test/unit/test.h

   1 /******************************************************************************
   2  * Top contributors (to current version):
   3  *   Aina Niemetz
   4  *
   5  * This file is part of the cvc5 project.
   6  *
   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.
  11  * ****************************************************************************
  12  *
  13  * Common header for API unit test.
  14  */
  15
  16 #ifndef CVC5__TEST__UNIT__TEST_H
  17 #define CVC5__TEST__UNIT__TEST_H
  18
  19 #include "gtest/gtest.h"
  20
  21 namespace cvc5 {
  22 namespace test {
  23
  24 class TestInternal : public ::testing::Test
  25 {
  26 };
  27
  28 }  // namespace test
  29 }  // namespace cvc5
  30 #endif