diff options
author | Paul Zimmermann <Paul.Zimmermann@inria.fr> | 2020-02-11 16:40:41 +0100 |
---|---|---|
committer | Paul Zimmermann <Paul.Zimmermann@inria.fr> | 2020-02-11 16:40:41 +0100 |
commit | 199a387dc919cfb667f61dcb539a69d7a4a68232 (patch) | |
tree | 17baa1f6daf6fb9946808251759825a64b408cb9 /tests/mpcheck-float128.c | |
parent | ac2fc471a49d37cc00e4298cea276d8351fd5a8b (diff) | |
download | mpc-git-199a387dc919cfb667f61dcb539a69d7a4a68232.tar.gz |
added -check option
Diffstat (limited to 'tests/mpcheck-float128.c')
-rw-r--r-- | tests/mpcheck-float128.c | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/tests/mpcheck-float128.c b/tests/mpcheck-float128.c index 38b88d8..7b8f495 100644 --- a/tests/mpcheck-float128.c +++ b/tests/mpcheck-float128.c @@ -182,6 +182,12 @@ main (int argc, char *argv[]) argc --; argv ++; } + else if (strcmp (argv[1], "-check") == 0) + { + recheck = 1; + argc --; + argv ++; + } else { fprintf (stderr, "Unknown option %s\n", argv[1]); |