Temporary modification of TestArith::float10

ibex-team · Mar 16, 2017 · 092074c · 092074c
1 parent 6933e56
commit 092074c
Showing 1 changed file with 4 additions and 2 deletions.
diff --git a/tests/TestArith.cpp b/tests/TestArith.cpp
@@ -116,8 +116,10 @@ void TestArith::float06() { CPPUNIT_ASSERT( -DBL_MAX == ibex::next_float(NEG_INF
 void TestArith::float07() { CPPUNIT_ASSERT( DBL_MAX == ibex::previous_float(POS_INFINITY)); }
 void TestArith::float08() { CPPUNIT_ASSERT( NEG_INFINITY == ibex::previous_float(NEG_INFINITY)); }
 void TestArith::float09() { CPPUNIT_ASSERT( POS_INFINITY == ibex::next_float(DBL_MAX)); }
-void TestArith::float10() { CPPUNIT_ASSERT( NEG_INFINITY == ibex::previous_float(-DBL_MAX)); }
-
+void TestArith::float10() {
+	const double CNEG_INF = NEG_INFINITY;
+    CPPUNIT_ASSERT( CNEG_INF == previous_float(-DBL_MAX));
+}
 
 void TestArith::minus01() { check(-Interval(0,1), Interval(-1,0)); }
 void TestArith::minus02() { check(-Interval::ALL_REALS, Interval::ALL_REALS); }