[tests] Got rid of the use of mpfr_print_binary, in general with

mpfr_dump. Replaced some "mpfr_out_str (stdout, 2, ...)" by mpfr_dump
for consistency or as improvements. Some other corrections in the
related error messages.

git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@11750 280ebfd0-de03-0410-8827-d642c229c3f4

1 files changed, 2 insertions, 4 deletions

diff --git a/tests/tset_si.c b/tests/tset_si.c
index 7bd66a70e..829b4d952 100644
--- a/tests/tset_si.c
+++ b/tests/tset_si.c
@@ -360,16 +360,14 @@ main (int argc, char *argv[])
   if (MPFR_MANT(x)[0] != MPFR_LIMB_HIGHBIT || inex >= 0)
     {
       printf ("Error in mpfr_set_si(x:3, 77617, MPFR_RNDD)\n");
-      mpfr_print_binary (x);
-      puts ("");
+      mpfr_dump (x);
       exit (1);
     }
   inex = mpfr_set_ui (x, 77617, MPFR_RNDD); /* should be 65536 */
   if (MPFR_MANT(x)[0] != MPFR_LIMB_HIGHBIT || inex >= 0)
     {
       printf ("Error in mpfr_set_ui(x:3, 77617, MPFR_RNDD)\n");
-      mpfr_print_binary (x);
-      puts ("");
+      mpfr_dump (x);
       exit (1);
     }