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

[Gianluca Amato]

Hi,
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.

--gianluca

-------------- next part --------------
A non-text attachment was scrubbed...
Name: Y.java
Type: text/x-java
Size: 671 bytes
Desc: not available
URL: <http://www.cs.unipr.it/pipermail/ppl-devel/attachments/20130906/8e8ba5cf/attachment.java>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: config.log.32bit.gz
Type: application/gzip
Size: 17624 bytes
Desc: not available
URL: <http://www.cs.unipr.it/pipermail/ppl-devel/attachments/20130906/8e8ba5cf/attachment.gz>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: config.log.64bit.gz
Type: application/gzip
Size: 35977 bytes
Desc: not available
URL: <http://www.cs.unipr.it/pipermail/ppl-devel/attachments/20130906/8e8ba5cf/attachment-0001.gz>