diff options
| author | Paul Zimmermann <Paul.Zimmermann@inria.fr> | 2020-07-01 10:21:37 +0200 |
|---|---|---|
| committer | Paul Zimmermann <Paul.Zimmermann@inria.fr> | 2020-07-01 10:21:37 +0200 |
| commit | 407aeb28dbf44e8eb31141fc2627939e6edddbe0 (patch) | |
| tree | 6f4e770cb1f5914bfed35b7242417837cadfbc01 | |
| parent | 83975da8b13b867dc5f741b9506799cd0529ef1b (diff) | |
| download | mpc-git-407aeb28dbf44e8eb31141fc2627939e6edddbe0.tar.gz | |
[mpcheck] print GMP/MPFR versions
| -rw-r--r-- | tools/mpcheck/README | 3 | ||||
| -rw-r--r-- | tools/mpcheck/mpcheck-common.c | 3 | ||||
| -rw-r--r-- | tools/mpcheck/mpcheck-double.c | 2 | ||||
| -rw-r--r-- | tools/mpcheck/mpcheck-float.c | 2 | ||||
| -rw-r--r-- | tools/mpcheck/mpcheck-float128.c | 2 | ||||
| -rw-r--r-- | tools/mpcheck/mpcheck-longdouble.c | 2 |
6 files changed, 12 insertions, 2 deletions
diff --git a/tools/mpcheck/README b/tools/mpcheck/README index f35ff80..c65ca0b 100644 --- a/tools/mpcheck/README +++ b/tools/mpcheck/README @@ -1,3 +1,4 @@ The mpcheck tool provides tests to check the MPC library against the -C library. It is meant as a tool for developers. +C library. It is meant as a tool for MPC developers, or for people who +want to assert the accuracy of the C library. diff --git a/tools/mpcheck/mpcheck-common.c b/tools/mpcheck/mpcheck-common.c index 0133f2a..cc96dd1 100644 --- a/tools/mpcheck/mpcheck-common.c +++ b/tools/mpcheck/mpcheck-common.c @@ -182,6 +182,7 @@ mpfr_agree (mpfr_t a, mpfr_t b, int inex) return mpfr_equal_p (a, b) || inex == 2 || inex == -2; } +#if 0 static int cputime (void) { @@ -190,4 +191,4 @@ cputime (void) getrusage (0, &rus); return rus.ru_utime.tv_sec * 1000 + rus.ru_utime.tv_usec / 1000; } - +#endif diff --git a/tools/mpcheck/mpcheck-double.c b/tools/mpcheck/mpcheck-double.c index df216aa..53d779f 100644 --- a/tools/mpcheck/mpcheck-double.c +++ b/tools/mpcheck/mpcheck-double.c @@ -195,6 +195,8 @@ main (int argc, char *argv[]) gmp_randinit_default (state); mpz_init (expz); + printf ("Using GMP %s, MPFR %s\n", gmp_version, mpfr_get_version ()); + #ifdef __GNUC__ printf ("GNU libc version: %s\n", gnu_get_libc_version ()); printf ("GNU libc release: %s\n", gnu_get_libc_release ()); diff --git a/tools/mpcheck/mpcheck-float.c b/tools/mpcheck/mpcheck-float.c index 9e4bdea..d1d3559 100644 --- a/tools/mpcheck/mpcheck-float.c +++ b/tools/mpcheck/mpcheck-float.c @@ -200,6 +200,8 @@ main (int argc, char *argv[]) gmp_randinit_default (state); mpz_init (expz); + printf ("Using GMP %s, MPFR %s\n", gmp_version, mpfr_get_version ()); + #ifdef __GNUC__ printf ("GNU libc version: %s\n", gnu_get_libc_version ()); printf ("GNU libc release: %s\n", gnu_get_libc_release ()); diff --git a/tools/mpcheck/mpcheck-float128.c b/tools/mpcheck/mpcheck-float128.c index ba08efd..1d02ae2 100644 --- a/tools/mpcheck/mpcheck-float128.c +++ b/tools/mpcheck/mpcheck-float128.c @@ -205,6 +205,8 @@ main (int argc, char *argv[]) gmp_randinit_default (state); mpz_init (expz); + printf ("Using GMP %s, MPFR %s\n", gmp_version, mpfr_get_version ()); + #ifdef __GNUC__ printf ("GNU libc version: %s\n", gnu_get_libc_version ()); printf ("GNU libc release: %s\n", gnu_get_libc_release ()); diff --git a/tools/mpcheck/mpcheck-longdouble.c b/tools/mpcheck/mpcheck-longdouble.c index 6f7aefc..e5e3ee4 100644 --- a/tools/mpcheck/mpcheck-longdouble.c +++ b/tools/mpcheck/mpcheck-longdouble.c @@ -188,6 +188,8 @@ main (int argc, char *argv[]) gmp_randinit_default (state); mpz_init (expz); + printf ("Using GMP %s, MPFR %s\n", gmp_version, mpfr_get_version ()); + #ifdef __GNUC__ printf ("GNU libc version: %s\n", gnu_get_libc_version ()); printf ("GNU libc release: %s\n", gnu_get_libc_release ()); |