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 -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it