delta/mpfr.git/tools/coverage, branch master

Updated URLs.

2020-09-10T09:30:19+00:00

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

[tools/coverage] added branch coverage

2018-06-08T16:16:55+00:00

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

[tools/coverage] Added a warning: on a machine shared with other users,

2016-08-11T16:32:23+00:00

by running this script, the account can easily be compromised due to a
libtool bug.

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

[tools/coverage] unset MPFR_* environment variables in a better way.

2012-07-05T20:19:07+00:00

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

[tools/coverage] unset MPFR_* environment variables in a better way.

2012-07-05T20:10:00+00:00

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

[coverage] unset MPFR_* environment variables to get reproducible results

2012-07-05T17:09:55+00:00

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

[coverage] unset GMP_CHECK_RANDOMIZE so that the coverage test is deterministic

2012-07-04T16:18:50+00:00

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

[tools/coverage] Minor update, just in case...

2012-07-03T14:05:18+00:00

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

Added coverage tune (from a patch by Patrick).

2012-06-28T17:33:46+00:00

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

[coverage] added instructions how to use this script

2012-06-27T08:10:41+00:00

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