diff options
author | Tim King <taking@cs.nyu.edu> | 2012-02-06 18:32:52 +0000 |
---|---|---|
committer | Tim King <taking@cs.nyu.edu> | 2012-02-06 18:32:52 +0000 |
commit | 2e086bd1c7d4352122b62ff5c975dc1c80fd018b (patch) | |
tree | dedcae9af4f4ebf6856b0fc79ad74887b0005757 /test | |
parent | e761169680c7611f5429f11bf5050370036dcff5 (diff) |
Fixing a bug in the integer unit tests when configured for GMP with assertions off.
Diffstat (limited to 'test')
-rw-r--r-- | test/unit/util/integer_black.h | 14 |
1 files changed, 0 insertions, 14 deletions
diff --git a/test/unit/util/integer_black.h b/test/unit/util/integer_black.h index 92846bdf1..06be9e57d 100644 --- a/test/unit/util/integer_black.h +++ b/test/unit/util/integer_black.h @@ -300,25 +300,11 @@ public: unsigned long ul = numeric_limits<unsigned long>::max(); Integer i(ul); TS_ASSERT(i.getUnsignedLong() == ul); -#if defined(CVC4_ASSERTIONS) || defined(CVC4_CLN_IMP) - // CLN comes with exceptions built-in, and in assertion-enabled - // GMP builds, we check it TS_ASSERT_THROWS_ANYTHING(i.getLong()); -#else /* CVC4_ASSERTIONS || CVC4_CLN_IMP */ - // otherwise we look for the expected overflow; if it doesn't - // happen, something's fishy... - TS_ASSERT( Integer(i.getLong()) != i ); -#endif /* CVC4_ASSERTIONS || CVC4_CLN_IMP */ unsigned long ulplus1 = ul + 1; TS_ASSERT(ulplus1 == 0); i = i + 1; -#if defined(CVC4_ASSERTIONS) || defined(CVC4_CLN_IMP) - // again, CLN || assertions will throw... TS_ASSERT_THROWS_ANYTHING(i.getUnsignedLong()); -#else /* CVC4_ASSERTIONS || CVC4_CLN_IMP */ - // otherwise expect the overflow - TS_ASSERT( Integer(i.getUnsignedLong()) != i ); -#endif /* CVC4_ASSERTIONS || CVC4_CLN_IMP */ } void testTestBit() { |