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

[Z]

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 at cs.unipr.it
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.cs.unipr.it/pipermail/ppl-devel/attachments/20120721/fd679db5/attachment.htm>