diff options
| author | enge <enge@211d60ee-9f03-0410-a15a-8952a2c7a4e4> | 2011-02-21 12:43:17 +0000 |
|---|---|---|
| committer | enge <enge@211d60ee-9f03-0410-a15a-8952a2c7a4e4> | 2011-02-21 12:43:17 +0000 |
| commit | ea472e1cb467cd0589acdbda643eb702e3ab245f (patch) | |
| tree | a442fc910610efd2a32a7ddf01ea6a8bf2a4d2ea /tests/mul.dat | |
| parent | 10593e8cf4206345e176e1779b2a7e7921ae38f1 (diff) | |
| download | mpc-ea472e1cb467cd0589acdbda643eb702e3ab245f.tar.gz | |
mul.dat: uncomment overflow bug
git-svn-id: svn://scm.gforge.inria.fr/svn/mpc/trunk@934 211d60ee-9f03-0410-a15a-8952a2c7a4e4
Diffstat (limited to 'tests/mul.dat')
| -rwxr-xr-x | tests/mul.dat | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tests/mul.dat b/tests/mul.dat index 1267b5c..dcc677b 100755 --- a/tests/mul.dat +++ b/tests/mul.dat @@ -141,4 +141,4 @@ ? + 2256 0 2256 -0 564 0xc.87999bfd1cb1a64288881e214b7cf1af979863b23c030b79c4a8bebb39177967608388a2e4df527977e7755a25df8af8f72fdd6dd2f42bd00de83088b4e9b59ce85caf2e6b0c0@-184298749 564 -0x2.5109af459d4daf357e09475ec991cdc9b02c8f7dfacdc060d2a24710d09c997f8aea6dbd46f10828c30b583fdcc90d7dcbb895689d594d3813db40784d2309e450d1fb6e38da8@-184298726 564 0xc.87999bfd1cb1a64288881e214b7cf1af979863b23c030b79c4a8bebb39177967608388a2e4df527977e7755a25df8af8f72fdd6dd2f42bd00de83088b4e9b59ce85caf2e6b0c0@-184298749 564 -0x2.5109af459d4daf357e09475ec991cdc9b02c8f7dfacdc060d2a24710d09c997f8aea6dbd46f10828c30b583fdcc90d7dcbb895689d594d3813db40784d2309e450d1fb6e38da8@-184298726 N N # intermediate overflow -#- + 100 -inf 100 inf 100 0x1@125000750 100 0x3@125000750 100 0x1@225000750 100 0x2@225000750 N N +- + 100 -inf 100 inf 100 0x1@125000750 100 0x3@125000750 100 0x1@225000750 100 0x2@225000750 N N |