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

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