[PPL-devel] Some details on the problem with SWI and Debian

[Roberto Bagnara]

Valerio Senni wrote:
> Hello again,

Hi Valerio.

> By looking into the 'pl_check.pl' file and running some tests
> I discovered that the large integers and the handle_exceptions tests
> fail and return exactly the error given during the 'make check'.
> In attachment I provide the details of these tests.
> This seems to answer my question on the reliability of my PPL installation.

Yes, the answer is reliability == 0  :-)

> How can I solve this problem?

The first thing to do is to switch to PPL 0.10.  If the problem persists,
we need more details on your environment.

> In attachment 3 I provide also a detailed SWI trace of the error generated
> in the procedure handle_exceptions. Hope that this data can be useful.

Unfortunately I am not able to reproduce your observations here.
All the best,

    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