Hello, <br><br>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:<br>
<br>Zell.<br><br>****************<br>// file /ppl/src/test/Test_Executor.java<br><br>import parma_polyhedra_library.Parma_Polyhedra_Library;<br>   ...<br>    public static void main(String[] args) {<br><br>        try {<br>
            System.load("/usr/local/lib/ppl/libppl_java.jnilib");<br>         }<br>        catch (UnsatisfiedLinkError  e) {<br>            System.out.println("Unable to load the library");<br>            System.out.println(e.getMessage());<br>
            System.exit(-1);<br>        }<br>        Parma_Polyhedra_Library.initialize_library();<br><br><br>        boolean test_result_ok =<br>                Test_Executor.executeTests(NNC_Polyhedron_test1.class) &&<br>
                Test_Executor.executeTests(C_Polyhedron_test1.class) &&<br>                Test_Executor.executeTests(MIP_Problem_test1.class) &&<br>                Test_Executor.executeTests(Parma_Polyhedra_Library_test1.class) &&<br>
                Test_Executor.executeTests(Parma_Polyhedra_Library_test1.class); <br>        Parma_Polyhedra_Library.finalize_library();<br>        if (!test_result_ok)<br>            System.exit(1);<br>        System.exit(0);<br>
    }<br><br><br><br><br><div class="gmail_quote">On Sun, Jul 22, 2012 at 10:11 AM, Z <span dir="ltr"><<a href="mailto:zell08v@orange.fr" target="_blank">zell08v@orange.fr</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
Sorry. I had not  study carefullly other .java files before asking my question. I find <br>Parma_Polyhedra_Library_test.java has the "main', so I will try to understand the interface from there. Thanks again. <br>

<br>Zell.<div class="HOEnZb"><div class="h5"><br><br><br><div class="gmail_quote">On Sat, Jul 21, 2012 at 7:59 PM, Z <span dir="ltr"><<a href="mailto:zell08v@orange.fr" target="_blank">zell08v@orange.fr</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<div>Hello, <br><br>Thanks. I did not know that. Sorry.<br><br>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? <br>

<br>Thanks again!<br><br>Zell.<br><br></div><div><div><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
Hi Zell,<br>
<br>
did you look in the<br>
<br>
  interfaces/Java/tests<br>
<br>
directory?<br>
Kind regards,<br>
<br>
  Roberto<span><font color="#888888"><br>
<br>
-- <br>
Prof. Roberto Bagnara<br>
Applied Formal Methods Laboratory<br>
Department of Mathematics, University of Parma, Italy<br>
<a href="http://www.cs.unipr.it/%7Ebagnara/" target="_blank">http://www.cs.unipr.it/~<u></u>bagnara/</a><br>
mailto:<a href="mailto:bagnara@cs.unipr.it" target="_blank">bagnara@cs.unipr.it</a><br>
</font></span></blockquote></div><br>
</div></div></blockquote></div><br>
</div></div></blockquote></div><br>