[PPL-devel] PPL 0.12 bug reporting

[Roberto Bagnara]

On 04/15/12 11:11, Erotavlas_turbo at libero.it wrote:
> Hi,
>
> I have a problem with the latest version of PPL 0.12. I have tried to compile it with Ubuntu 64 bit 11.04 and 11.10. I can compile PPL well but when I make the tests (by make check), I get a message like this:
>
> Some test failed, please report a bug to the PPL developers. With the PPL 0.11 all the test are passed.
>
> Best Regards
>
> Salvatore Frandina

Hi Salvatore,

we need more details about the particular test(s) that failed.
Please compress and send also the config.log file that was
created at configure time.
Kind regards,

    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