2 files changed, 12 insertions, 1 deletions
diff --git a/tests/tstdint.c b/tests/tstdint.c
index d90a3f4e1..16057f5bf 100644
--- a/tests/tstdint.c
+++ b/tests/tstdint.c
@@ -44,10 +44,19 @@ main (void)
   mpfr_t x;
   intmax_t j;
 
+  tests_start_mpfr ();
+
   mpfr_init_set_ui (x, 1, MPFR_RNDN);
   j = mpfr_get_uj (x, MPFR_RNDN);
   mpfr_clear (x);
-  return j == 1 ? 0 : 1;
+  if (j != 1)
+    {
+      printf ("Error: got %jd instead of 1.\n", j);
+      exit (1);
+    }
+
+  tests_end_mpfr ();
+  return 0;
 }
 
 #else  /* HAVE_STDINT_H */
diff --git a/tests/tvalist.c b/tests/tvalist.c
index cfec1029d..e55983fd1 100644
--- a/tests/tvalist.c
+++ b/tests/tvalist.c
@@ -59,7 +59,9 @@ test (FILE *fout, const char *fmt, ...)
 int
 main (void)
 {
+  tests_start_mpfr ();
   test (stdout, "%d\n", 0);
+  tests_end_mpfr ();
   return 0;
 }