[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