summaryrefslogtreecommitdiff
path: root/tests
diff options
context:
space:
mode:
authorbdadoun <bdadoun@211d60ee-9f03-0410-a15a-8952a2c7a4e4>2012-06-27 08:12:36 +0000
committerbdadoun <bdadoun@211d60ee-9f03-0410-a15a-8952a2c7a4e4>2012-06-27 08:12:36 +0000
commit5a23adc7fc0f8b18c5eeb29f54ec11575f09cc03 (patch)
treecef06c2b3aea03228796d5aa2504748c3ad702bd /tests
parent24dc1e9d3e1a89f4e2003040c5fbb5fbede90aa8 (diff)
downloadmpc-5a23adc7fc0f8b18c5eeb29f54ec11575f09cc03.tar.gz
[test/div.dat] added an example to exercise overflow on real part (Benjamin Dadoun)
git-svn-id: svn://scm.gforge.inria.fr/svn/mpc/trunk@1178 211d60ee-9f03-0410-a15a-8952a2c7a4e4
Diffstat (limited to 'tests')
-rw-r--r--tests/div.dat4
1 files changed, 3 insertions, 1 deletions
diff --git a/tests/div.dat b/tests/div.dat
index 90cf412..a7383aa 100644
--- a/tests/div.dat
+++ b/tests/div.dat
@@ -2468,5 +2468,7 @@
# current result: (@NaN@ @Inf@)
#0 0 10 0 10 1 10 -0b1@-536870913 10 0b1@536870912 10 0b1@536870912 10 0b1@-536870913 N N
-# example to exercise overflow
+# example to exercise overflow (re)
++ 0 2 inf 2 0 10 0x3ffp1073741813 10 0x3ffp1073741813 10 0x2abp-10 10 0x2abp-10 N N
+# example to exercise overflow (im)
0 + 2 0 2 inf 10 0x3ffp1073741813 10 0x3ffp1073741813 10 0x2abp-10 10 -0x2abp-10 N N