diff options
author | enge <enge@211d60ee-9f03-0410-a15a-8952a2c7a4e4> | 2012-02-29 16:03:50 +0000 |
---|---|---|
committer | enge <enge@211d60ee-9f03-0410-a15a-8952a2c7a4e4> | 2012-02-29 16:03:50 +0000 |
commit | 78a5cd8a53f06ad2963f11e9b062ccb2def7722a (patch) | |
tree | 8b7ff40cf178cf40e332058a6018f424cc5e7c64 | |
parent | 7e4386e98f78915f24bdeff585014cce0d2f9ca0 (diff) | |
download | mpc-78a5cd8a53f06ad2963f11e9b062ccb2def7722a.tar.gz |
sqr.dat: activated other test case, where current code still fails
git-svn-id: svn://scm.gforge.inria.fr/svn/mpc/trunk@1129 211d60ee-9f03-0410-a15a-8952a2c7a4e4
-rw-r--r-- | tests/sqr.dat | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/tests/sqr.dat b/tests/sqr.dat index 858251a..85195db 100644 --- a/tests/sqr.dat +++ b/tests/sqr.dat @@ -155,9 +155,7 @@ 0 - 10000 0 10000 +0 100 0x1@-225000750 100 0x1@-225000750 N N 0 + 10000 0 10000 -0 100 0x1@-225000750 100 -0x1@-225000750 N N -# intermediate overflow in Karatsuba found by hydra -# - - 2372 -inf 2372 -inf 593 -0xf.b357b13a5882d58859aae6c54b4b4d5fd708b9f7074c7ddc633a78117b80375423ee02c261e8308d9cf4954c579bb35c4838ca814f54234c9311f3ef05e7d439f55f5c252eb8ef5278c0@192058806 593 0x1.21492a43c2a8d7f677479b9c803dd0069c3be7c08daa6ca36eeddd6998aeeb64713351ab6bef57b992bee2280c2f23023b6578b02283c925531e1fda9e6fe790ee10b507379a370a485f@192058873 N N -# the same, but simplified +# intermediate overflow in Karatsuba found by hydra, simplified test case - - 100 -inf 100 -inf 593 -0xf@192058806 593 0x1@192058873 N N # another interesting one with not exactly the same behaviour -# - - 100 -inf 100 -inf 100 -0xf@192058806 100 0x1@192058873 N N +- - 100 -inf 100 -inf 100 -0xf@192058806 100 0x1@192058873 N N |