GMP 5.1.1 make check fail on Solaris 11
marc.glisse at inria.fr
Sun Feb 17 10:49:13 CET 2013
On Sun, 17 Feb 2013, Torbjorn Granlund wrote:
> Marc Glisse <marc.glisse at inria.fr> writes:
> I think they are only used in this test program to check that
> double->mpf->round gives the same result as the libm rounding
> Perhaps it would be better to make some consistency checks, like ceil(x)
>> = x >= floor(x), ceil(x)-1 < x, floow(x)+1 > x, etc. Not to avoid libm
> deps, but to allow testing of a greater range.
That was mostly a way to check that we were calling the right functions
from the C++ wrapper, and then I assume that the C checks cover a wider
range. But sure, your version makes sense too. Should I add the -lm and
make a note to add tests like you suggest?
More information about the gmp-bugs