diff options
| author | enge <enge@211d60ee-9f03-0410-a15a-8952a2c7a4e4> | 2012-06-27 18:25:50 +0000 |
|---|---|---|
| committer | enge <enge@211d60ee-9f03-0410-a15a-8952a2c7a4e4> | 2012-06-27 18:25:50 +0000 |
| commit | def726e7ea3e72d6ae2c30d1247db557d768cacd (patch) | |
| tree | 602c839bf3308939cb350c5d0b8a6614e214a0e5 /tests | |
| parent | e55f51561f96f0ab1c1742d6e1b1c1ac5894f187 (diff) | |
| download | mpc-def726e7ea3e72d6ae2c30d1247db557d768cacd.tar.gz | |
log.dat, log.c: analyse infinite loop for test added in r1192
as a preliminary workaround, add assertion and disable test
git-svn-id: svn://scm.gforge.inria.fr/svn/mpc/trunk@1198 211d60ee-9f03-0410-a15a-8952a2c7a4e4
Diffstat (limited to 'tests')
| -rw-r--r-- | tests/div.dat | 2 | ||||
| -rw-r--r-- | tests/log.dat | 11 |
2 files changed, 7 insertions, 6 deletions
diff --git a/tests/div.dat b/tests/div.dat index 2cffc7e..dbdc2b1 100644 --- a/tests/div.dat +++ b/tests/div.dat @@ -1,6 +1,6 @@ # Data file for mpc_div. # -# Copyright (C) 2008, 2009, 2010, 2011 INRIA +# Copyright (C) 2008, 2009, 2010, 2011, 2012 INRIA # # This file is part of GNU MPC. # diff --git a/tests/log.dat b/tests/log.dat index 57e3b35..0f590d0 100644 --- a/tests/log.dat +++ b/tests/log.dat @@ -1,13 +1,13 @@ # Data test file for mpc_log. # -# Copyright (C) 2008, 2009, 2010 INRIA +# Copyright (C) 2008, 2009, 2010, 2012 INRIA # # This file is part of GNU MPC. # # GNU MPC is free software; you can redistribute it and/or modify it under # the terms of the GNU Lesser General Public License as published by the # Free Software Foundation; either version 3 of the License, or (at your -#o ption) any later version. +# option) any later version. # # GNU MPC is distributed in the hope that it will be useful, but WITHOUT ANY # WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS @@ -170,6 +170,7 @@ # instead of the correct result. Since this may happen in other parts of the # library as well, we do not consider it a bug for the moment. # + + 53 0x58B90BFD4BCBFp-22 2 0x1p0 2 0x1p536870912 2 0x1p536870912 U U - -# log(-1 + i*eps) : infinite loop ? -# 0 0 2 0 2 0b11 2 -1 2 0x1p-1073741813 N N +# Due to intermediate "underflow" (see FIXME in log.c), the following example +# loops. +# log(-1 + i*eps) +# - - 2 0 2 3 2 -1 2 0x1p-1073741813 N N |