Re: [Jmlspecs-developers] jmlunit

[Marko v. D. <Mar...@cs...>]

> For me it would be fine to reduce the options to --destination and
> --packageName with suffix support as you pointed out. Whether or not the
> tool should be split in 2 parts should probably be decided by Yoonsik or
> Gary, they developed and maintain it.

I have implemented the changes, but for now it puts the test cases and test 
oracles in the same directory. TestCaseGenerator inherits from 
TestClassGenerator, and thus uses the same names for the options. The tool 
only has a single JntOptions object. Adding a suffix is done using "+suffix" 
as package name.

At this moment the jmlunit task works good enough for me to start 
experimenting with it in jutil.org so I can get more experience with it. The 
main decision that has to be taken is whether the jmlunit tool should be 
split or the arguments should be "duplicated". There is no rush for me. I'll 
get started on the jml-junit task.


Marko
-- 
Jutil.org - Programming as you know it is over
http://org-jutil.sourceforge.net