diff options
author | Paul Zimmermann <Paul.Zimmermann@inria.fr> | 2015-04-08 09:23:31 +0200 |
---|---|---|
committer | Paul Zimmermann <Paul.Zimmermann@inria.fr> | 2015-04-08 09:23:31 +0200 |
commit | 341361c071cb0051605265654d0a2eb0bd60201f (patch) | |
tree | 370702193b460e03e746f3b4b461f1077ed5bb00 | |
parent | f9de45c1a727943e19f44b0534e1db5b25746a82 (diff) | |
download | mpc-git-341361c071cb0051605265654d0a2eb0bd60201f.tar.gz |
bug reported by Joseph Myers
-rw-r--r-- | tests/exp.dat | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/tests/exp.dat b/tests/exp.dat index 04ed763..5492d55 100644 --- a/tests/exp.dat +++ b/tests/exp.dat @@ -116,3 +116,6 @@ # input close to 0 ? ? 53 1 53 0x5D7A2148071Fp-7213522 53 0x1E02AE0D0F6Fp-7213521 53 0x5D7A2148071Fp-7213522 N N + +# bug reported by Joseph Myers (07 Apr 2015) +- + 2 0x3p1073741821 2 -0x3p1073741821 2 0x1p200 2 0x1p800 Z Z |