[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[csmith-dev] --nomain option is ... different!


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.


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