diff options
author | vlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4> | 2016-01-21 00:31:32 +0000 |
---|---|---|
committer | vlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4> | 2016-01-21 00:31:32 +0000 |
commit | 8195f1d216c38486a792be65202031a53f6aa23f (patch) | |
tree | 5f7da54512006ffdbf33de047ba60e46617d8291 /tests/tsqrt.c | |
parent | ff36f1d47e357484551a5c3efac2d7ff63e747f5 (diff) | |
download | mpfr-8195f1d216c38486a792be65202031a53f6aa23f.tar.gz |
[tests/tsqrt.c] In bug20160120, check the validity of the result with
mpfr_check first, because the mpfr_sqrt was generating invalid data.
git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@9859 280ebfd0-de03-0410-8827-d642c229c3f4
Diffstat (limited to 'tests/tsqrt.c')
-rw-r--r-- | tests/tsqrt.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/tests/tsqrt.c b/tests/tsqrt.c index 4c8e407c8..72625d94e 100644 --- a/tests/tsqrt.c +++ b/tests/tsqrt.c @@ -580,10 +580,12 @@ bug20160120 (void) mpfr_set_ui (x, 1, MPFR_RNDN); mpfr_nextbelow (x); mpfr_sqrt (y, x, MPFR_RNDN); + MPFR_ASSERTN(mpfr_check (y)); MPFR_ASSERTN(mpfr_cmp_ui (y, 1) == 0); mpfr_set_prec (y, 128); mpfr_sqrt (y, x, MPFR_RNDN); + MPFR_ASSERTN(mpfr_check (y)); MPFR_ASSERTN(mpfr_cmp_ui (y, 1) == 0); mpfr_clear(x); |