[PPL-devel] PPL 1 test (linearize) failed

[Roberto Bagnara]

On 03/30/12 19:02, Enric Caussa Morales wrote:
> Good day.
> I am compiling PPL 0.12 on our Arch Linux port for PowerPCs.
> We just prepared GCC 4.7.0 and started building packages with it.
> However, PPL fails the checks.
> I have attached the log. Hope it can be of help.

Hello Enric,

thanks for the report.

> Can we just omit the error, or can it be important?

The error can be important.  We have made several corrections
to PPL 0.12 and we will soon (a couple of weeks perhaps)
release PPL 0.12.1.  Some of the bugs we have already fixed
could explain your observation.  Can you please test the
PPL 0.12.1 release snapshot available at

   http://bugseng.com/products/ppl/download/ftp/snapshots/

?
Please report back whatever the result is.
Cordially,

     Roberto

-- 
Prof. Roberto Bagnara
Applied Formal Methods Laboratory
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:bagnara at cs.unipr.it