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

[Roberto Bagnara]

Tobias Grosser wrote:
> 2. test02 and test03 in tests/Box/propagateconstraints2 fail.
> 
> They only fail if compile with
> 
> gmake propagateconstraints2 -DBOX_INSTANCE=db_r_oc
> or
> gmake check (in ppl/, ppl/tests, or ppl/tests/Box)

Hi Tobias,

we finally found what the problem is: FreeBSD implementation
of fma() does not respect the rounding mode (even though it
is said to conform to ISO/IEC 9899:1999).

Can you please test the new snapshot just uploaded to

    ftp://ftp.cs.unipr.it/pub/ppl/snapshots/

?

Cheers,

    Roberto

-- 
Prof. Roberto Bagnara
Computer Science Group
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:bagnara at cs.unipr.it