[PPL-devel] [GIT] ppl/ppl(master): Started adapting the Java tests to make better use of class Test_Executor.

[Enea Zaffanella]

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

Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Mon May 18 13:48:05 2009 +0200

Started adapting the Java tests to make better use of class Test_Executor.

---

 interfaces/Java/tests/C_Polyhedron_test1.java      |   30 +++++++--------
 interfaces/Java/tests/MIP_Problem_test1.java       |   13 +++----
 interfaces/Java/tests/NNC_Polyhedron_test1.java    |   23 +++++++-----
 .../Java/tests/Parma_Polyhedra_Library_test1.java  |    2 +-
 .../Java/tests/Parma_Polyhedra_Library_test2.java  |   17 ++++-----
 interfaces/Java/tests/Test_Executor.java           |   38 ++++++++++---------
 6 files changed, 62 insertions(+), 61 deletions(-)

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