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

Hi,

ppl compiles as always flawless on FreeBSD current. As I wrote some weeks ago there are still some bugs in "make check".

1. tests/Box/Makefile.am (patch submitted)

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)

compiling with

gmake propagateconstraints2 -DBOX_INSTANCE=rt_r_oc or gmake propagateconstraints2

fixes the test cases.

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?

Tobias