diff options
| author | vlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4> | 2015-10-29 12:06:19 +0000 |
|---|---|---|
| committer | vlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4> | 2015-10-29 12:06:19 +0000 |
| commit | 7ee780f2a6f49be801e481d1a2b9a2c19f80cfe1 (patch) | |
| tree | 92c12c193e2bc0eaebd9135d92c58c7aa47f62e3 /doc | |
| parent | d0d5823f64af819c4e36a14e9e7f418aa3cb5d9a (diff) | |
| download | mpfr-7ee780f2a6f49be801e481d1a2b9a2c19f80cfe1.tar.gz | |
[doc/README.dev] "To make a release": mention -DMPFR_TUNE_COVERAGE.
git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@9706 280ebfd0-de03-0410-8827-d642c229c3f4
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/README.dev | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/doc/README.dev b/doc/README.dev index 8f6912b0a..fd4f47b40 100644 --- a/doc/README.dev +++ b/doc/README.dev @@ -157,7 +157,8 @@ To make a release (for the MPFR team): (or clearly justify any value under this threshold), and publish (for example in NEWS) the global coverage of this release. The individual coverage of each source file might also be published on the release web - page. + page. There is a specific mparam.h file to improve coverage; it should + be tested by configuring MPFR with -DMPFR_TUNE_COVERAGE. Also test with -DMPFR_COV_CHECK, which allows one to check the coverage of some combinations of variable values (as defined in the MPFR source |