Error while parsing command-line arguments

[Alex Costa]

Hello all,

I'm trying use "--unpub" in the help command to view the usage options.

Command: java -classpath ./randoop-all-4.1.2.jar randoop.main.Main help --unpub gentests

Return: Error while parsing command-line arguments: unknown option name '--unpub' in arg '--unpub'

I'm following the example in the manual: https://randoop.github.io/randoop/manual/#getting_help

Is this command incorrect?

[Michael Ernst]

You are right that the --unpub command-line option to `help` does not work!  Sorry about that, and thank you for pointing out the problem.

The feature was removed in this commit:

https://github.com/randoop/randoop/commit/9039b5ffca3f5e3d5f00d980c6b46108f8031c29

but the commit did not update the manual as it should have.

I suspect it was removed to simplify the command-line interface, since users rarely need to know about these options.  You can find the options by searching for the @Unpublicized annotation in the source code.  I have documented this in the Randoop Developer manual.

Mike

--
You received this message because you are subscribed to the Google Groups "Randoop discussions" group.
To unsubscribe from this group and stop receiving emails from it, send an email to randoop-discu...@googlegroups.com.
To post to this group, send email to randoop...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/randoop-discuss/5a563ec0-51fa-4a1f-b26d-cb2dec590b6d%40googlegroups.com.
For more options, visit https://groups.google.com/d/optout.

[Alex Costa]

Thank you for your help!