From 3b8d92b17c17aadfa920f36a1ab631e36c70e00e Mon Sep 17 00:00:00 2001 From: Tim King Date: Fri, 26 Mar 2010 22:37:12 +0000 Subject: Added GMP backed Rational and Integer classes, and white box tests for them. You may have to reconfigure after this update. --- test/unit/util/integer_white.h | 40 ++++++++++++++++++++++++++++++++++++++++ 1 file changed, 40 insertions(+) create mode 100644 test/unit/util/integer_white.h (limited to 'test/unit/util/integer_white.h') diff --git a/test/unit/util/integer_white.h b/test/unit/util/integer_white.h new file mode 100644 index 000000000..739715ac2 --- /dev/null +++ b/test/unit/util/integer_white.h @@ -0,0 +1,40 @@ +/********************* */ +/** integer_white.h + ** Original author: taking + ** Major contributors: none + ** Minor contributors (to current version): none + ** This file is part of the CVC4 prototype. + ** Copyright (c) 2009, 2010 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. + ** + ** White box testing of CVC4::Integer. + **/ + +#include +#include + +#include "util/integer.h" + +using namespace CVC4; +using namespace std; + +const char* largeVal = "4547897890548754897897897897890789078907890"; + +class IntegerWhite : public CxxTest::TestSuite { +public: + + void testHash(){ + Integer large (largeVal); + Integer zero; + Integer one_word(75890); + Integer two_words("7890D789D33234027890D789D3323402", 16); + + TS_ASSERT_EQUALS(zero.hash(), 0); + TS_ASSERT_EQUALS(one_word.hash(), 75890); + TS_ASSERT_EQUALS(two_words.hash(), 9921844058862803974UL); + TS_ASSERT_EQUALS(large.hash(), 772190219532412699UL); + } +}; -- cgit v1.2.3