<div class="h5">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 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 class="HOEnZb"><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>