Re: [csmith-dev] Random configuration file for csmith

[haihao shen <haihaoshen@gmail.com>]

Thanks for sharing! It is really useful.

Unfortunately, the empirical data is not direct for csmith usage and sometimes random configuration test may expose more bugs.

Thanks,
Haihao

On Thu, May 12, 2011 at 5:59 PM, <derek@knosof.co.uk> wrote:

haihao,

> I am wondering whether there is any empirical data for random configuration.

Lots of empirical probability data is available in:
www.knosof.co.uk/cbook/usefigtab.pdf