diff options
Diffstat (limited to 'doc/README.dev')
-rw-r--r-- | doc/README.dev | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/doc/README.dev b/doc/README.dev index ae97da440..331ca57d5 100644 --- a/doc/README.dev +++ b/doc/README.dev @@ -543,7 +543,9 @@ Environment variables that affect the tests: By default, a fixed seed is used. Only developers and testers should change the seed. -+ MPFR_CHECK_LARGEMEM: Define to enable expensive tests. ++ MPFR_CHECK_LARGEMEM: Define to enable tests that take a lot of memory. + ++ MPFR_CHECK_EXPENSIVE: Define to enable tests that take a lot of time. + MPFR_CHECK_LIBC_PRINTF: Define to enable comparisons with the printf |