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>