Re: [PPL-devel] beginner's question: don't you have any examples?

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