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

[Roberto Bagnara]

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

Hi Tobias,

you are right.  We still had not had time to look at those.  We are
doing it now.
Thanks a lot,

     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