diff options
| author | enge <enge@211d60ee-9f03-0410-a15a-8952a2c7a4e4> | 2011-09-01 18:58:30 +0000 |
|---|---|---|
| committer | enge <enge@211d60ee-9f03-0410-a15a-8952a2c7a4e4> | 2011-09-01 18:58:30 +0000 |
| commit | c99f17f4fb8f05d49ab428cea31faae3aead882d (patch) | |
| tree | 62feb628a1c4888ade6f75364ab0d5bb1b97fed2 /tests/div.dat | |
| parent | 4cbb8daab4917d6edc7da0ed175e1bd29f351ca5 (diff) | |
| download | mpc-c99f17f4fb8f05d49ab428cea31faae3aead882d.tar.gz | |
tdiv.c, div.dat: moved tests to data file
exposes a sign bug in mpc_div
read_data.c: corrected undocumented assumption on mpfr_signbit
git-svn-id: svn://scm.gforge.inria.fr/svn/mpc/trunk@1064 211d60ee-9f03-0410-a15a-8952a2c7a4e4
Diffstat (limited to 'tests/div.dat')
| -rw-r--r-- | tests/div.dat | 11 |
1 files changed, 10 insertions, 1 deletions
diff --git a/tests/div.dat b/tests/div.dat index 8fbd03d..02ec455 100644 --- a/tests/div.dat +++ b/tests/div.dat @@ -1,6 +1,6 @@ # Data file for mpc_div. # -# Copyright (C) 2008, 2009, 2010 INRIA +# Copyright (C) 2008, 2009, 2010, 2011 INRIA # # This file is part of GNU MPC. # @@ -2426,3 +2426,12 @@ # overflow (reported by Emmanuel Thome) - + 250 -inf 250 +inf 250 1 250 0 250 -1e-164895850 250 -1e-164895850 N N + +# small exact/inexact examples ++ + 10 0b1.01010001 10 -0b1.1000101@-6 10 973 10 964 10 725 10 745 N N +0 0 10 -14 10 9 10 -837 10 637 10 63 10 -5 N N +0 0 2 2 2 -1 2 4 2 3 2 1 2 2 N N ++ - 4 1.375 4 1.25 4 15 4 14 4 11 4 0 N N + +# Bug 20080923 ++ + 4 0b11@527 4 -0b111@-489 4 -0b11@-206 4 0 4 -0b1@-733 4 -0b101@-1750 N Z |