[tests] Update to test the ternary value in test5rm() when possible,

and support the exact cases.
  * tests.c:
      - test5rm(): modified the prototype again and the behavior.
        Now, either only one test is done and the ternary value is
        not checked, or the test is done in the 5 rounding modes and
        the ternary value is checked.
      - data_check(): corresponding update; updated description.
      - bad_cases(): test the exact cases too.
  * tatanh.c: for the bad_cases() call, reduce emax to avoid errors in
    the generation of bad cases due to the rounding of tanh(y) to 1,
    which does not correspond to a bad case for atanh, but to an exact
    case.
  * tlog1p.c: for the bad_cases() call, reduce emax to avoid errors in
    the generation of bad cases due to the rounding of expm1(y) to -1,
    which does not correspond to a bad case for log1p, but to an exact
    case.
  * trec_sqrt.c: corrected the bad_cases() call to avoid negative
    numbers.
Note: the following tests
  GMP_CHECK_RANDOMIZE=5 ./tacos
  GMP_CHECK_RANDOMIZE=6 ./tatan
  GMP_CHECK_RANDOMIZE=4 ./tcos
currently fail, but because of a change in r13783 (see associated log
for the reason). To be fixed later.

git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@13787 280ebfd0-de03-0410-8827-d642c229c3f4

1 files changed, 1 insertions, 1 deletions

diff --git a/tests/trec_sqrt.c b/tests/trec_sqrt.c
index 148d494a2..480d83001 100644
--- a/tests/trec_sqrt.c
+++ b/tests/trec_sqrt.c
@@ -186,7 +186,7 @@ main (void)
   test_generic (MPFR_PREC_MIN, 300, 15);
 
   data_check ("data/rec_sqrt", mpfr_rec_sqrt, "mpfr_rec_sqrt");
-  bad_cases (mpfr_rec_sqrt, pm2, "mpfr_rec_sqrt", 8, -256, 255, 4, 128,
+  bad_cases (mpfr_rec_sqrt, pm2, "mpfr_rec_sqrt", 0, -256, 255, 4, 128,
              800, 50);
 
   tests_end_mpfr ();