diff options
| author | vlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4> | 2015-02-25 11:03:44 +0000 |
|---|---|---|
| committer | vlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4> | 2015-02-25 11:03:44 +0000 |
| commit | 0b0deffc045948c4f9380289328f9e0c3c6680cb (patch) | |
| tree | 79911898251feab597abf06b747c48bfd7cdb7be | |
| parent | fcd117bf126a67af54d546c3c2ca40d18c7f53aa (diff) | |
| download | mpfr-0b0deffc045948c4f9380289328f9e0c3c6680cb.tar.gz | |
[doc/README.dev] Document the new MPFR_COV_CHECK macro.
git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/branches/new-sum@9316 280ebfd0-de03-0410-8827-d642c229c3f4
| -rw-r--r-- | doc/README.dev | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/doc/README.dev b/doc/README.dev index 46bc3ca5b..bebdd3bb4 100644 --- a/doc/README.dev +++ b/doc/README.dev @@ -440,6 +440,9 @@ List of macros used for checking MPFR: for no timeout by default, and can be overridden at "make check" time with the MPFR_TESTS_TIMEOUT environment variable. ++ MPFR_COV_CHECK: Define to enable value coverage checking (must not + be used in production). This macro is for the MPFR + developers, in order to improve the testsuite. =========================================================================== |