diff options
| -rw-r--r-- | tests/tget_set_d128.c | 3 | ||||
| -rw-r--r-- | tests/tget_set_d64.c | 7 |
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 (); |