[PPL-devel] bug in Java minimized_constraints for 32bit Linux System

[Roberto Bagnara]

On 09/06/13 22:37, Gianluca Amato wrote:
> I found a problem using the Java bindings of the PPL 1.1pre10 on a 32bit Intel Linux systems. The program Y.java, which correctly works on 64bit systems, fails with the following error:
> 
> Exception in thread "main" javax.management.RuntimeErrorException
>     at parma_polyhedra_library.Variable.<init>(Variable.java:49)
>     at parma_polyhedra_library.Polyhedron.minimized_constraints(Native Method)
>     at Y.main(Y.java:16)
> Caused by: java.lang.Error: parma_polyhedra_library.Variable::Variable: an index variable cannot be negative.
>     ... 3 more
> 
> I am attaching the source code of the example, and the PPL config.log for a 32bit and a 64bit system I tried.

Hello Gianluca,

thanks for the report.  PPL 1.1.pre12 has just been uploaded: please
let us know whether it works for you.
Cheers,

   Roberto

-- 
     Prof. Roberto Bagnara

Applied Formal Methods Laboratory - University of Parma, Italy
mailto:bagnara at cs.unipr.it
                              BUGSENG srl - http://bugseng.com
                              mailto:roberto.bagnara at bugseng.com