From c0adaa9268a10607a63ffcfbfd1cbad1bff8c0ba Mon Sep 17 00:00:00 2001 From: vlefevre Date: Mon, 8 Feb 2016 09:13:05 +0000 Subject: Value coverage for tsum: differentiate sq > MPFR_PREC_MIN and not. git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@9984 280ebfd0-de03-0410-8827-d642c229c3f4 --- tests/tsum.c | 18 ++++++++++-------- 1 file changed, 10 insertions(+), 8 deletions(-) (limited to 'tests/tsum.c') diff --git a/tests/tsum.c b/tests/tsum.c index 2d7586965..a6d81c149 100644 --- a/tests/tsum.c +++ b/tests/tsum.c @@ -1082,7 +1082,7 @@ static void check_coverage (void) { #ifdef MPFR_COV_CHECK - int r, i, j, k, p; + int r, i, j, k, p, q; int err = 0; for (r = 0; r < MPFR_RND_MAX; r++) @@ -1090,13 +1090,15 @@ check_coverage (void) for (j = 0; j < 2; j++) for (k = 0; k < 3; k++) for (p = 0; p < 2; p++) - if (!__gmpfr_cov_sum_tmd[r][i][j][k][p]) - { - printf ("TMD not tested on %s, tmd=%d, rbit=%d, sst=%d, %s\n", - mpfr_print_rnd_mode ((mpfr_rnd_t) r), i+1, j, k-1, - p ? "positive" : "negative"); - err = 1; - } + for (q = 0; q < 2; q++) + if (!__gmpfr_cov_sum_tmd[r][i][j][k][p][q]) + { + printf ("TMD not tested on %s, tmd=%d, rbit=%d, sst=%d," + " %s, sq %s MPFR_PREC_MIN\n", + mpfr_print_rnd_mode ((mpfr_rnd_t) r), i+1, j, k-1, + p ? "positive" : "negative", q ? ">" : "=="); + err = 1; + } if (err) exit (1); -- cgit v1.2.1