From 356ec8b85ea89dbee39da01ea519e9d91c9ac129 Mon Sep 17 00:00:00 2001 From: vlefevre Date: Tue, 17 Mar 2015 03:24:45 +0000 Subject: [tests/tsum.c] Improved the check3 tests, which were added in the latest commit. They now trigger an assertion failure in sum.c. git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/branches/new-sum@9340 280ebfd0-de03-0410-8827-d642c229c3f4 --- tests/tsum.c | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/tests/tsum.c b/tests/tsum.c index 108d710ff..27ac23c52 100644 --- a/tests/tsum.c +++ b/tests/tsum.c @@ -472,7 +472,7 @@ check2 (void) } /* t[i] = (2^17 - 1) * 2^(17*(i-8)) for 0 <= i <= 16. - * t[17] = 2^(17*9+1) * j for 4 <= j <= 7. + * t[17] = 2^(17*9+1) * j for -4 <= j <= 4. * t[18] = 2^(-17*8) * k for -3 <= k <= 3. * prec = 17*9+4 */ @@ -504,9 +504,9 @@ check3 (void) for (s = 1; s >= -1; s -= 2) { - for (j = 4; j <= 7; j++) + for (j = -4; j <= 4; j++) { - mpfr_set_si_2exp (t[17], s*j, 17*9+1, MPFR_RNDN); + mpfr_set_si_2exp (t[17], j, 17*9+1, MPFR_RNDN); inex1 = mpfr_add (s2, s1, t[17], MPFR_RNDN); MPFR_ASSERTN (inex1 == 0); for (k = -3; k <= 3; k++) -- cgit v1.2.1