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/
mailto:bagnara@cs.unipr.it