Sorry. I had not  study carefullly other .java files before asking my question. I find <br>Parma_Polyhedra_Library_test.java has the &quot;main&#39;, so I will try to understand the interface from there. Thanks again. <br>
<br>Zell.<br><br><br><div class="gmail_quote">On Sat, Jul 21, 2012 at 7:59 PM, Z <span dir="ltr">&lt;<a href="mailto:zell08v@orange.fr" target="_blank">zell08v@orange.fr</a>&gt;</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 &#39;main&#39; 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 class="HOEnZb"><div class="h5"><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>