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 92846bdf15166b10f0e197b019da62d4748e744b..06be9e57d593df075616dfc9947fe53c5daf4899 100644 (file)
--- 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() {