diff options
| author | vlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4> | 2015-03-17 03:24:45 +0000 |
|---|---|---|
| committer | vlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4> | 2015-03-17 03:24:45 +0000 |
| commit | 356ec8b85ea89dbee39da01ea519e9d91c9ac129 (patch) | |
| tree | cdc36c74af94d7947a1ba2d965463eb22e61f4d4 | |
| parent | a28934d3ede6e96933bcad2277986a5cc5c10235 (diff) | |
| download | mpfr-356ec8b85ea89dbee39da01ea519e9d91c9ac129.tar.gz | |
[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
| -rw-r--r-- | tests/tsum.c | 6 |
1 files 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++) |