diff options
-rw-r--r-- | tests/tget_d.c | 10 | ||||
-rw-r--r-- | tests/tget_d_2exp.c | 10 | ||||
-rw-r--r-- | tests/tget_ld_2exp.c | 10 |
3 files changed, 15 insertions, 15 deletions
diff --git a/tests/tget_d.c b/tests/tget_d.c index 448eb45b7..ea3af8f7e 100644 --- a/tests/tget_d.c +++ b/tests/tget_d.c @@ -99,17 +99,17 @@ check_inf_nan (void) mpfr_set_inf (x, 1); d = mpfr_get_d (x, MPFR_RNDZ); - ASSERT_ALWAYS (d > 0); - ASSERT_ALWAYS (DOUBLE_ISINF (d)); + MPFR_ASSERTN (d > 0); + MPFR_ASSERTN (DOUBLE_ISINF (d)); mpfr_set_inf (x, -1); d = mpfr_get_d (x, MPFR_RNDZ); - ASSERT_ALWAYS (d < 0); - ASSERT_ALWAYS (DOUBLE_ISINF (d)); + MPFR_ASSERTN (d < 0); + MPFR_ASSERTN (DOUBLE_ISINF (d)); mpfr_set_nan (x); d = mpfr_get_d (x, MPFR_RNDZ); - ASSERT_ALWAYS (DOUBLE_ISNAN (d)); + MPFR_ASSERTN (DOUBLE_ISNAN (d)); mpfr_clear (x); #endif diff --git a/tests/tget_d_2exp.c b/tests/tget_d_2exp.c index c2b262a38..610513e81 100644 --- a/tests/tget_d_2exp.c +++ b/tests/tget_d_2exp.c @@ -90,17 +90,17 @@ check_inf_nan (void) mpfr_set_inf (x, 1); d = mpfr_get_d_2exp (&exp, x, MPFR_RNDZ); - ASSERT_ALWAYS (d > 0); - ASSERT_ALWAYS (DOUBLE_ISINF (d)); + MPFR_ASSERTN (d > 0); + MPFR_ASSERTN (DOUBLE_ISINF (d)); mpfr_set_inf (x, -1); d = mpfr_get_d_2exp (&exp, x, MPFR_RNDZ); - ASSERT_ALWAYS (d < 0); - ASSERT_ALWAYS (DOUBLE_ISINF (d)); + MPFR_ASSERTN (d < 0); + MPFR_ASSERTN (DOUBLE_ISINF (d)); mpfr_set_nan (x); d = mpfr_get_d_2exp (&exp, x, MPFR_RNDZ); - ASSERT_ALWAYS (DOUBLE_ISNAN (d)); + MPFR_ASSERTN (DOUBLE_ISNAN (d)); mpfr_clear (x); #endif diff --git a/tests/tget_ld_2exp.c b/tests/tget_ld_2exp.c index d3699fca6..6f18b1121 100644 --- a/tests/tget_ld_2exp.c +++ b/tests/tget_ld_2exp.c @@ -89,17 +89,17 @@ check_inf_nan (void) mpfr_set_inf (x, 1); d = (double) mpfr_get_ld_2exp (&exp, x, MPFR_RNDZ); - ASSERT_ALWAYS (d > 0); - ASSERT_ALWAYS (DOUBLE_ISINF (d)); + MPFR_ASSERTN (d > 0); + MPFR_ASSERTN (DOUBLE_ISINF (d)); mpfr_set_inf (x, -1); d = (double) mpfr_get_ld_2exp (&exp, x, MPFR_RNDZ); - ASSERT_ALWAYS (d < 0); - ASSERT_ALWAYS (DOUBLE_ISINF (d)); + MPFR_ASSERTN (d < 0); + MPFR_ASSERTN (DOUBLE_ISINF (d)); mpfr_set_nan (x); d = (double) mpfr_get_ld_2exp (&exp, x, MPFR_RNDZ); - ASSERT_ALWAYS (DOUBLE_ISNAN (d)); + MPFR_ASSERTN (DOUBLE_ISNAN (d)); mpfr_clear (x); #endif |