summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorvlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4>2020-05-20 01:13:35 +0000
committervlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4>2020-05-20 01:13:35 +0000
commitfd687414be2a6c0293461caed5e28f41d3d1a064 (patch)
tree2f6897103dee2494bc071b1ff5340e9354cf286f
parent8335d1dd05672ce20111d433cc466bbb69f95d56 (diff)
downloadmpfr-fd687414be2a6c0293461caed5e28f41d3d1a064.tar.gz
[doc/README.dev] "To make a release": mention MPFR_CHECK_EXPENSIVE.
git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@13913 280ebfd0-de03-0410-8827-d642c229c3f4
-rw-r--r--doc/README.dev3
1 files changed, 2 insertions, 1 deletions
diff --git a/doc/README.dev b/doc/README.dev
index 83475cf02..14f8528a6 100644
--- a/doc/README.dev
+++ b/doc/README.dev
@@ -340,7 +340,8 @@ 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_CHECK_BADCASES).
+ MPFR_CHECK_EXPENSIVE, 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