diff options
author | vlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4> | 2020-09-25 01:17:05 +0000 |
---|---|---|
committer | vlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4> | 2020-09-25 01:17:05 +0000 |
commit | 39bcd3b0075a7d6f6c559c86db1110ee6e3b5290 (patch) | |
tree | 210837a5533564dbe9dffefd2059051c0ef6d09c /tests | |
parent | 3aa009c76f33b37a909b3a8dd0b792674f7e0b17 (diff) | |
download | mpfr-39bcd3b0075a7d6f6c559c86db1110ee6e3b5290.tar.gz |
[tests/tset_z_2exp.c] Test a result.
git-svn-id: https://scm.gforge.inria.fr/anonscm/svn/mpfr/trunk@14144 280ebfd0-de03-0410-8827-d642c229c3f4
Diffstat (limited to 'tests')
-rw-r--r-- | tests/tset_z_2exp.c | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/tests/tset_z_2exp.c b/tests/tset_z_2exp.c index bc77b56e0..ac26c4b06 100644 --- a/tests/tset_z_2exp.c +++ b/tests/tset_z_2exp.c @@ -183,6 +183,14 @@ check_huge (void) mpz_mul_2exp (z, z, 0xffffffb0); mpz_add_ui (z, z, 1); mpfr_set_z_2exp (x, z, -1, MPFR_RNDN); + if (! MPFR_IS_INF (x) || MPFR_IS_NEG (x)) + { + printf ("Error 2 in check_huge\n"); + printf ("Expected @Inf@\n"); + printf ("Got "); + mpfr_dump (x); + exit (1); + } mpz_clear (z); mpfr_clear (x); |