From: Tim King <taking@cs.nyu.edu>
Date: Mon, 6 Feb 2012 18:32:52 +0000 (+0000)
Subject: Fixing a bug in the integer unit tests when configured for GMP with assertions off.
X-Git-Tag: cvc5-1.0.0~8344
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=2e086bd1c7d4352122b62ff5c975dc1c80fd018b;p=cvc5.git

Fixing a bug in the integer unit tests when configured for GMP with assertions off.
---

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() {