[PPL-devel] PPL info - bug report?

[Jacopo Mantovani]

Hello again,

Roberto Bagnara wrote:
> The first thing to do is the following: after compiling the PPL
> with `make', please run the regression tests with `make check'
> and see if you see any failure.  Then come back to us and
> we will proceed from there.

I followed your instructions, and I attach here the (final) results of the 
check phase. Actually, three so-called 'expected failures' are reported, and I 
suppose that they can be the cause of the wrong behaviour of my version of the 
PPL..
Meanwhile, I try to install the PPL on some other machine here in the lab.

Thank you very much,

Jacopo.



-- 

Jacopo Mantovani
Artificial Intelligence Laboratory
DIST - University of Genova

http://www.ai.dist.unige.it/jacopo

-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: ppl_makecheck.txt
URL: <http://www.cs.unipr.it/pipermail/ppl-devel/attachments/20041124/0a2d0434/attachment.txt>