summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorvlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4>2014-02-05 01:10:06 +0000
committervlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4>2014-02-05 01:10:06 +0000
commit66c81c39d7ebca9198183db53ecff66792ccdba6 (patch)
tree6fed4ac7347129890cd29e52a22bf25506a91f47
parentced419246feda9a02608cf80327868c573729d2f (diff)
downloadmpfr-66c81c39d7ebca9198183db53ecff66792ccdba6.tar.gz
Removed MPFR_CHECK_MAX as it is now useless: all "max" tests succeed.
git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@8919 280ebfd0-de03-0410-8827-d642c229c3f4
-rw-r--r--doc/README.dev4
-rw-r--r--tests/tgeneric.c2
-rwxr-xr-xtools/nightly-test1
3 files changed, 2 insertions, 5 deletions
diff --git a/doc/README.dev b/doc/README.dev
index 0ea0af3c6..8c05aaaa6 100644
--- a/doc/README.dev
+++ b/doc/README.dev
@@ -268,8 +268,8 @@ To make a release (for the MPFR team):
then "make check".
Also test with different environment variables set
- (GMP_CHECK_RANDOMIZE, MPFR_CHECK_MAX, MPFR_CHECK_LIBC_PRINTF,
- MPFR_CHECK_LARGEMEM, MPFR_SUSPICIOUS_OVERFLOW).
+ (GMP_CHECK_RANDOMIZE, MPFR_CHECK_LIBC_PRINTF, MPFR_CHECK_LARGEMEM,
+ MPFR_SUSPICIOUS_OVERFLOW).
7) For the release itself (not the release candidates), if no problems
have been found, create a tag with:
diff --git a/tests/tgeneric.c b/tests/tgeneric.c
index f12abcefb..9e4941b72 100644
--- a/tests/tgeneric.c
+++ b/tests/tgeneric.c
@@ -209,8 +209,6 @@ test_generic (mpfr_prec_t p0, mpfr_prec_t p1, unsigned int nmax)
}
else /* 2 <= n <= 3 */
{
- if (getenv ("MPFR_CHECK_MAX") == NULL)
- goto next_n;
mpfr_set_si (x, n == 2 ? 1 : -1, MPFR_RNDN);
mpfr_setmax (x, REDUCE_EMAX);
#if defined(TWO_ARGS) || defined(DOUBLE_ARG1) || defined(DOUBLE_ARG2)
diff --git a/tools/nightly-test b/tools/nightly-test
index 15f6f49cc..24fe70675 100755
--- a/tools/nightly-test
+++ b/tools/nightly-test
@@ -36,7 +36,6 @@ else
fi
make
export GMP_CHECK_RANDOMIZE=1
-export MPFR_CHECK_MAX=1
export MPFR_SUSPICIOUS_OVERFLOW=1
export MPFR_CHECK_LIBC_PRINTF=1
make check