[PPL-devel] [GIT] ppl/ppl(master): Some tests for some of the new PIP_Problem methods added.

[Patricia Hill]

Module: ppl/ppl
Branch: master
Commit: 2f02e4d79ecdcef883129e68f71545fa82020ee7
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2f02e4d79ecdcef883129e68f71545fa82020ee7

Author: Patricia Hill <p.m.hill at leeds.ac.uk>
Date:   Tue Mar 30 17:41:39 2010 +0100

Some tests for some of the new PIP_Problem methods added.
Various bugs fixed.

---

 interfaces/Java/jni/ppl_java_common.cc             |    2 +-
 interfaces/Java/jni/ppl_java_globals.cc            |   42 ++++-
 .../Constraint_System_Iterator.java                |    3 +
 .../Java/parma_polyhedra_library/PIP_Problem.java  |   13 +-
 interfaces/Java/tests/Makefile.am                  |    3 +
 interfaces/Java/tests/PIP_Problem_test1.java       |  211 ++++++++++++++++++++
 6 files changed, 264 insertions(+), 10 deletions(-)

Diff:   http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=2f02e4d79ecdcef883129e68f71545fa82020ee7