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

[Z]

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