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