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

Module: ppl/ppl Branch: master Commit: 2f02e4d79ecdcef883129e68f71545fa82020ee7 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2f02e4d79ecdc...
Author: Patricia Hill p.m.hill@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=2f02e4d79...
participants (1)
-
Patricia Hill