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

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

On 13/04/11 21:30, Yang Chen wrote:
Hi Paulo,

Thanks for pointing it out. We will make the change in the next release.

Great, thanks!

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