summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--tests/tget_d.c10
-rw-r--r--tests/tget_d_2exp.c10
-rw-r--r--tests/tget_ld_2exp.c10
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