diff options
| author | vlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4> | 2021-09-07 17:45:57 +0000 |
|---|---|---|
| committer | vlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4> | 2021-09-07 17:45:57 +0000 |
| commit | e08c7286f1d9a43914cdbea679f2b78589bd77b0 (patch) | |
| tree | a911c03979e9972e14c035765ec6d27caaa1da22 | |
| parent | c6d7cc483915e6a36b1f50d9b1104367fc95b418 (diff) | |
| download | mpfr-e08c7286f1d9a43914cdbea679f2b78589bd77b0.tar.gz | |
[tests/tests.c] In a comment with a GMP_CHECK_RANDOMIZE value, mention
the SVN revision and date, as this value may no longer be valid in the
future (when tests are added or changed).
git-svn-id: https://scm.gforge.inria.fr/anonscm/svn/mpfr/trunk@14574 280ebfd0-de03-0410-8827-d642c229c3f4
| -rw-r--r-- | tests/tests.c | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/tests/tests.c b/tests/tests.c index c58b3fa43..c377f6559 100644 --- a/tests/tests.c +++ b/tests/tests.c @@ -1089,7 +1089,8 @@ bad_cases (int (*fct)(FLIST), int (*inv)(FLIST), const char *name, /* We really have a bad case (or some special case). */ if (mpfr_zero_p (z)) { - /* This can occur on tlog (GMP_CHECK_RANDOMIZE=1630879377004032): + /* This can occur on tlog (GMP_CHECK_RANDOMIZE=1630879377004032 + in r14570, 2021-09-07): y = -0, giving x = 1 and z = 0. We have y = z, but here, y and z have different signs. Since test5rm will test f(x) and its sign (in particular for 0), we need to take the |