/*********************                                                        */
/*! \file configuration_black.cpp
 ** \verbatim
 ** Top contributors (to current version):
 **   Morgan Deters, Aina Niemetz
 ** This file is part of the CVC4 project.
 ** Copyright (c) 2009-2021 by the authors listed in the file AUTHORS
 ** in the top-level source directory and their institutional affiliations.
 ** All rights reserved.  See the file COPYING in the top-level source
 ** directory for licensing information.\endverbatim
 **
 ** \brief Black box testing of cvc5::Configuration.
 **
 ** Black box testing of cvc5::Configuration.
 **/

#include "base/configuration.h"
#include "test.h"

namespace cvc5 {
namespace test {

class TestUtilBlackConfiguration : public TestInternal
{
};

TEST_F(TestUtilBlackConfiguration, static_flags)
{
  const bool debug =
#ifdef CVC5_DEBUG
      true;
#else  /* CVC5_DEBUG */
      false;
#endif /* CVC5_DEBUG */

  const bool tracing =
#ifdef CVC5_TRACING
      true;
#else  /* CVC5_TRACING */
      false;
#endif /* CVC5_TRACING */

  const bool muzzled =
#ifdef CVC5_MUZZLE
      true;
#else  /* CVC5_MUZZLE */
      false;
#endif /* CVC5_MUZZLE */

  const bool assertions =
#ifdef CVC5_ASSERTIONS
      true;
#else  /* CVC5_ASSERTIONS */
      false;
#endif /* CVC5_ASSERTIONS */

  const bool coverage =
#ifdef CVC5_COVERAGE
      true;
#else  /* CVC5_COVERAGE */
      false;
#endif /* CVC5_COVERAGE */

  const bool profiling =
#ifdef CVC5_PROFILING
      true;
#else  /* CVC5_PROFILING */
      false;
#endif /* CVC5_PROFILING */

  ASSERT_EQ(Configuration::isDebugBuild(), debug);
  ASSERT_EQ(Configuration::isTracingBuild(), tracing);
  ASSERT_EQ(Configuration::isMuzzledBuild(), muzzled);
  ASSERT_EQ(Configuration::isAssertionBuild(), assertions);
  ASSERT_EQ(Configuration::isCoverageBuild(), coverage);
  ASSERT_EQ(Configuration::isProfilingBuild(), profiling);
}

TEST_F(TestUtilBlackConfiguration, package_name)
{
  ASSERT_EQ(Configuration::getPackageName(), "cvc4");
}

TEST_F(TestUtilBlackConfiguration, versions)
{
  // just test that the functions exist
  Configuration::getVersionString();
  Configuration::getVersionMajor();
  Configuration::getVersionMinor();
  Configuration::getVersionRelease();
}

TEST_F(TestUtilBlackConfiguration, about)
{
  // just test that the function exists
  Configuration::about();
}
}  // namespace test
}  // namespace cvc5