[PPL-devel] make check fails on Freebsd in tests/Box/propagateconstraints2

[Abramo Bagnara]

Tobias Grosser ha scritto:

> I attached the outputs of NOISY and VERY_NOISY
> and the compilation of the relevant file.
> 
> Do you have any idea how to debug this?

It seems a rounding problem, I attach noisy output on a linux ia32 and
x86-64.

Can you post your configure log and config.h?

Do you know if it's possibile to have access to a Freebsd machine to
diagnostic this misbehaviour?

-- 
Abramo Bagnara

Opera Unica                          Phone: +39.0546.656023
Via Borghesi, 16
48014 Castel Bolognese (RA) - Italy

-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: propagateconstraints2.32.out
URL: <http://www.cs.unipr.it/pipermail/ppl-devel/attachments/20090331/ba694806/attachment.ksh>
-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: propagateconstraints2.64.out
URL: <http://www.cs.unipr.it/pipermail/ppl-devel/attachments/20090331/ba694806/attachment-0001.ksh>