[csmith-dev] Random configuration file for csmith

[haihao shen <haihaoshen@gmail.com>]

Hi,

csmith provided the interface to take configure file as input to generate different kinds of test cases. However, there is lack of documentation to describe how to set the value of configure parameter.

For example, I don't know whether different items in configure file have dependencies. I don't know whether all the values could range from 0 to 100.

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

Thanks,
Haihao