[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [csmith-dev] --nomain option is ... different!
Hi Paulo,
Thanks for pointing it out. We will make the change in the next release.
- Yang
Paulo J. Matos wrote:
Hi,
Just to point out the slightly strange case of the option --nomain
that disables main as opposed to --no-main which is what you would
expect by looking at the other options.
I would think that if you don't wish to surprise users then changing
this to --no-main would be the way to go.
Cheers,
--
Paulo Matos
Member of the CSR plc group of companies. CSR plc registered in
England and Wales, registered number 4187346, registered office
Churchill House, Cambridge Business Park, Cowley Road, Cambridge, CB4
0WZ, United Kingdom