summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorvlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4>2020-12-17 12:53:53 +0000
committervlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4>2020-12-17 12:53:53 +0000
commitc88c50520f7b50a73edcb832cf311d30b0becde1 (patch)
treecbf76d2c04f6dc988baf9430ad8c29ac85aea551
parent126195d82428e4b56b546e639b9e0d5678107b1a (diff)
downloadmpfr-c88c50520f7b50a73edcb832cf311d30b0becde1.tar.gz
For the generic tests, output the number of normal cases and the total
if the MPFR_TGENERIC_STAT environment variable is defined. Added description to the README.dev file. git-svn-id: https://scm.gforge.inria.fr/anonscm/svn/mpfr/trunk@14221 280ebfd0-de03-0410-8827-d642c229c3f4
-rw-r--r--doc/README.dev3
-rw-r--r--tests/tgeneric.c4
2 files changed, 7 insertions, 0 deletions
diff --git a/doc/README.dev b/doc/README.dev
index 82f74b8bd..8b2832936 100644
--- a/doc/README.dev
+++ b/doc/README.dev
@@ -625,6 +625,9 @@ Environment variables that affect the tests:
+ MPFR_TESTS_TIMEOUT: When timeout in the tests is enabled, this
overrides the value of the macro.
++ MPFR_TGENERIC_STAT: For the generic tests, output the number of normal
+ cases and the total.
+
===========================================================================
Before testing any macro in a .c file, one needs:
diff --git a/tests/tgeneric.c b/tests/tgeneric.c
index d49ab3b67..cd7665c4b 100644
--- a/tests/tgeneric.c
+++ b/tests/tgeneric.c
@@ -785,6 +785,10 @@ test_generic (mpfr_prec_t p0, mpfr_prec_t p1, unsigned int nmax)
}
}
+if (getenv ("MPFR_TGENERIC_STAT") != NULL)
+ printf ("tgeneric: normal cases / total = %lu / %lu in %s\n",
+ ctrn, ctrt, __func__);
+
#ifndef TGENERIC_NOWARNING
if (3 * ctrn < 2 * ctrt)
printf ("Warning! Too few normal cases in generic tests (%lu / %lu)\n",