21 Jul
2012
21 Jul
'12
7:59 p.m.
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