diff options
| author | hanrot <hanrot@280ebfd0-de03-0410-8827-d642c229c3f4> | 2000-11-21 15:21:39 +0000 |
|---|---|---|
| committer | hanrot <hanrot@280ebfd0-de03-0410-8827-d642c229c3f4> | 2000-11-21 15:21:39 +0000 |
| commit | 01b2aebd57955fa9514550221f25cb684a792d85 (patch) | |
| tree | fafb151cbbdfb4ab3394ca5ba1f8b1cfa3a2bc4c /tests/tadd_ui.c | |
| parent | ebb0a24940eb551ce03eb361910c423fee7d6499 (diff) | |
| download | mpfr-01b2aebd57955fa9514550221f25cb684a792d85.tar.gz | |
Infinis, premiere tentative (tests)
git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@794 280ebfd0-de03-0410-8827-d642c229c3f4
Diffstat (limited to 'tests/tadd_ui.c')
| -rw-r--r-- | tests/tadd_ui.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/tests/tadd_ui.c b/tests/tadd_ui.c index faa4cd171..9a3438421 100644 --- a/tests/tadd_ui.c +++ b/tests/tadd_ui.c @@ -94,6 +94,8 @@ int main(argc,argv) int argc; char *argv[]; check3(-6.72658901114033715233e-165, 2000878121, GMP_RNDZ, 2.0008781209999997615e9); check3(-2.0769715792901673e-5, 880524, GMP_RNDN, 8.8052399997923023e5); + check3(1/0., 2394875, GMP_RNDN, 1/0.); + check3(-1/0., 2394875, GMP_RNDN, -1/0.); return 0; } |