diff options
author | Aina Niemetz <aina.niemetz@gmail.com> | 2021-03-01 07:08:33 -0800 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-03-01 15:08:33 +0000 |
commit | 0c52c1e8ed4a3d03c82f23349a7062eea9cd14a1 (patch) | |
tree | 9ccb50e76e527e0a9da0d236edf7e36956e9bf48 /test/unit/util/rational_black.h | |
parent | 4a8e64cb22d4cc2a51035a71a5d6d37dc2f69a6b (diff) |
google test: util: Migrate rational_black. (#6026)
Diffstat (limited to 'test/unit/util/rational_black.h')
-rw-r--r-- | test/unit/util/rational_black.h | 47 |
1 files changed, 0 insertions, 47 deletions
diff --git a/test/unit/util/rational_black.h b/test/unit/util/rational_black.h deleted file mode 100644 index 3592bd31d..000000000 --- a/test/unit/util/rational_black.h +++ /dev/null @@ -1,47 +0,0 @@ -/********************* */ -/*! \file rational_black.h - ** \verbatim - ** Top contributors (to current version): - ** Christopher L. Conway - ** This file is part of the CVC4 project. - ** Copyright (c) 2009-2020 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 CVC4::Rational. - ** - ** Black box testing of CVC4::Rational. - **/ - -#include <cxxtest/TestSuite.h> -#include <sstream> - -#include "util/rational.h" - -using namespace CVC4; -using namespace std; - -const char* canReduce = "4547897890548754897897897897890789078907890/54878902347890234"; - -class RationalBlack : public CxxTest::TestSuite { -public: - - void testFromDecimal() { - TS_ASSERT_EQUALS( Rational(0,1), Rational::fromDecimal("0") ); - TS_ASSERT_EQUALS( Rational(1,1), Rational::fromDecimal("1") ); - TS_ASSERT_EQUALS( Rational(-1,1), Rational::fromDecimal("-1") ); - TS_ASSERT_EQUALS( Rational(3,2), Rational::fromDecimal("1.5") ); - TS_ASSERT_EQUALS( Rational(-3,2), Rational::fromDecimal("-1.5") ); - TS_ASSERT_EQUALS( Rational(7,10), Rational::fromDecimal(".7") ); - TS_ASSERT_EQUALS( Rational(-7,10), Rational::fromDecimal("-.7") ); - TS_ASSERT_EQUALS( Rational(5,1), Rational::fromDecimal("5.") ); - TS_ASSERT_EQUALS( Rational(-5,1), Rational::fromDecimal("-5.") ); - TS_ASSERT_EQUALS( Rational(12345,100), Rational::fromDecimal("123.45") ); - - TS_ASSERT_THROWS( Rational::fromDecimal("1.2.3");, const std::invalid_argument& ); - TS_ASSERT_THROWS( Rational::fromDecimal("1.2/3");, const std::invalid_argument& ); - TS_ASSERT_THROWS( Rational::fromDecimal("Hello, world!");, const std::invalid_argument& ); - } - -}; |