[tests]

  * tests.c, function bad_cases(): updated/added debug messages;
    assume that the parameters are chosen in such a way that this
    test always generates hard-to-round cases (including exact cases),
    i.e. exit with an error if one does not get a bad case, otherwise
    this can leave unexpected failures unnoticed (either due to a bug
    in the MPFR library or due to poorly chosen parameters such as in
    troot.c until now).
    Note: ideally, this would require a proof, but it is better to get
    (unlikely) spurious failures with a non-default GMP_CHECK_RANDOMIZE
    value than missing important tests.
  * troot.c, bad_cases() invocation:
      - corrected the pos parameter: when n is even, it is useless to
        generate a negative number as the function is not defined (the
        inverse function generates a positive number, and the mismatch
        now yields a failure due to the change in bad_cases); when n is
        odd, generate as many negative numbers as positive ones.
      - for n ≤ 5, reduce the psup parameter in order to also generate
        inexact cases, instead of always exact cases.

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

0 files changed, 0 insertions, 0 deletions