[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[csmith-dev] --nomain option is ... different!
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