summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorzimmerma <zimmerma@280ebfd0-de03-0410-8827-d642c229c3f4>2018-08-21 13:50:13 +0000
committerzimmerma <zimmerma@280ebfd0-de03-0410-8827-d642c229c3f4>2018-08-21 13:50:13 +0000
commit5520154b55917b0e707c23cf0a7f7b55796d9b9c (patch)
treefa8f9d07974d110b1dc21e647fe3b4dadd824826
parenta3497e53d30aabdfd3a3b53bca8ea1a88f44ab68 (diff)
downloadmpfr-5520154b55917b0e707c23cf0a7f7b55796d9b9c.tar.gz
[tests/tsub1sp.c] improved comment about bug20180813()
git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@13000 280ebfd0-de03-0410-8827-d642c229c3f4
-rw-r--r--tests/tsub1sp.c3
1 files changed, 2 insertions, 1 deletions
diff --git a/tests/tsub1sp.c b/tests/tsub1sp.c
index 7463ee9be..8ae047242 100644
--- a/tests/tsub1sp.c
+++ b/tests/tsub1sp.c
@@ -370,7 +370,8 @@ bug20180217 (mpfr_prec_t pmax)
}
}
-/* bug in revision 12985 with tlog and GMP_CHECK_RANDOMIZE=1534111552615050 */
+/* bug in revision 12985 with tlog and GMP_CHECK_RANDOMIZE=1534111552615050
+ (introduced in revision 12242, does not affect the 4.0 branch) */
static void
bug20180813 (void)
{