diff options
author | Paul Zimmermann <Paul.Zimmermann@inria.fr> | 2020-02-07 10:53:40 +0100 |
---|---|---|
committer | Paul Zimmermann <Paul.Zimmermann@inria.fr> | 2020-02-07 10:53:40 +0100 |
commit | dc0930a6acdae4a0ce14216f6786941201519071 (patch) | |
tree | 3050cf1ba82cd9c9213bc988a622c151e17060e1 /tests/mpcheck-float128.c | |
parent | d2b4e7a994a53577dfa7eb562f3acf57548b0751 (diff) | |
download | mpc-git-dc0930a6acdae4a0ce14216f6786941201519071.tar.gz |
mpcheck: report maximal error at the end
Diffstat (limited to 'tests/mpcheck-float128.c')
-rw-r--r-- | tests/mpcheck-float128.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/tests/mpcheck-float128.c b/tests/mpcheck-float128.c index cc929f3..38b88d8 100644 --- a/tests/mpcheck-float128.c +++ b/tests/mpcheck-float128.c @@ -239,5 +239,7 @@ main (int argc, char *argv[]) gmp_randclear (state); mpz_clear (expz); + report_maximal_errors (); + return 0; } |