summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorvlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4>2020-03-12 00:57:34 +0000
committervlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4>2020-03-12 00:57:34 +0000
commit8295d8fbe3ca3f0adb4ccde0e39e3726fbd66467 (patch)
tree6900719ee2d2163c1a509fb012f7a83f4fd07a2c
parent4988bbfc07e8a621596dc9cc69b77aa1b58acdd8 (diff)
downloadmpfr-8295d8fbe3ca3f0adb4ccde0e39e3726fbd66467.tar.gz
[tests/tget_set_{d64,d128}.c] Added a FIXME and improved a message.
git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@13779 280ebfd0-de03-0410-8827-d642c229c3f4
-rw-r--r--tests/tget_set_d128.c3
-rw-r--r--tests/tget_set_d64.c7
2 files changed, 7 insertions, 3 deletions
diff --git a/tests/tget_set_d128.c b/tests/tget_set_d128.c
index 2887f7500..e35aea69e 100644
--- a/tests/tget_set_d128.c
+++ b/tests/tget_set_d128.c
@@ -563,7 +563,8 @@ main (int argc, char *argv[])
if (verbose)
{
#ifdef DPD_FORMAT
- printf ("Using DPD format\n");
+ /* FIXME: DPD_FORMAT is also used when the format is unknown. */
+ printf ("Using DPD format (or unknown)\n");
#else
printf ("Using BID format\n");
#endif
diff --git a/tests/tget_set_d64.c b/tests/tget_set_d64.c
index 5d63c9baa..359378885 100644
--- a/tests/tget_set_d64.c
+++ b/tests/tget_set_d64.c
@@ -571,11 +571,14 @@ main (int argc, char *argv[])
mpfr_test_init ();
if (verbose)
+ {
#ifdef DPD_FORMAT
- printf ("Using DPD format\n");
+ /* FIXME: DPD_FORMAT is also used when the format is unknown. */
+ printf ("Using DPD format (or unknown)\n");
#else
- printf ("Using BID format\n");
+ printf ("Using BID format\n");
#endif
+ }
#if !defined(MPFR_ERRDIVZERO)
check_random_bytes ();