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

1 files changed, 10 insertions, 8 deletions

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);