diff options
Diffstat (limited to 'doc/README.dev')
-rw-r--r-- | doc/README.dev | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/doc/README.dev b/doc/README.dev index 1ee7ee641..06518f9e8 100644 --- a/doc/README.dev +++ b/doc/README.dev @@ -340,7 +340,7 @@ To make a release (for the MPFR team): Also test with different environment variables set (GMP_CHECK_RANDOMIZE, MPFR_CHECK_LIBC_PRINTF, MPFR_CHECK_LARGEMEM, - MPFR_SUSPICIOUS_OVERFLOW, MPFR_CHECK_LOCALES). + MPFR_SUSPICIOUS_OVERFLOW, MPFR_CHECK_LOCALES, MPFR_CHECK_BADCASES). Check there is no branch misprediction due to wrong MPFR_LIKELY or MPFR_UNLIKELY statements. For that test, configure with @@ -580,6 +580,10 @@ Environment variables that affect the tests: sure that needed locales are properly installed and tested. ++ MPFR_CHECK_BADCASES: Fail if function bad_cases generates too many + cases for which f(f^{-1}(x)) ≠ x, due to a poor + choice of the parameters. + + MPFR_DEBUG_BADCASES: For debugging (see tests.c, function bad_cases). + MPFR_SUSPICIOUS_OVERFLOW: |