Hello,

Thanks. I did not know that. Sorry.

I find that your Test_executor.java does not contain a 'main' program. So I am wondering what would be the right way to launch your test suites?

Thanks again!

Zell.

Hi Zell,

did you look in the

interfaces/Java/tests

directory? Kind regards,

Roberto

-- Prof. Roberto Bagnara Applied Formal Methods Laboratory Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~**bagnara/ http://www.cs.unipr.it/%7Ebagnara/ mailto:bagnara@cs.unipr.it

Hello,

It took me some time to figure out the structure of the testsuite in the interface/tests of Java Interface. So I suggest add a 'main' method to the current Test_Executor.java, something like the following one:

Zell.

**************** // file /ppl/src/test/Test_Executor.java

import parma_polyhedra_library.Parma_Polyhedra_Library; ... public static void main(String[] args) {

try { System.load("/usr/local/lib/ppl/libppl_java.jnilib"); } catch (UnsatisfiedLinkError e) { System.out.println("Unable to load the library"); System.out.println(e.getMessage()); System.exit(-1); } Parma_Polyhedra_Library.initialize_library();

boolean test_result_ok = Test_Executor.executeTests(NNC_Polyhedron_test1.class) && Test_Executor.executeTests(C_Polyhedron_test1.class) && Test_Executor.executeTests(MIP_Problem_test1.class) &&

Test_Executor.executeTests(Parma_Polyhedra_Library_test1.class) &&

Test_Executor.executeTests(Parma_Polyhedra_Library_test1.class); Parma_Polyhedra_Library.finalize_library(); if (!test_result_ok) System.exit(1); System.exit(0); }

On Sun, Jul 22, 2012 at 10:11 AM, Z zell08v@orange.fr wrote:

Sorry. I had not study carefullly other .java files before asking my question. I find Parma_Polyhedra_Library_test.java has the "main', so I will try to understand the interface from there. Thanks again.

Zell.

On Sat, Jul 21, 2012 at 7:59 PM, Z zell08v@orange.fr wrote:

...

Hello,

Thanks. I did not know that. Sorry.

I find that your Test_executor.java does not contain a 'main' program. So I am wondering what would be the right way to launch your test suites?

Thanks again!

Zell.

Hi Zell,

...

did you look in the

interfaces/Java/tests

directory? Kind regards,

Roberto

-- Prof. Roberto Bagnara Applied Formal Methods Laboratory Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~**bagnara/ http://www.cs.unipr.it/%7Ebagnara/ mailto:bagnara@cs.unipr.it