Re: [csmith-dev] --random-random will hang

[haihao shen <haihaoshen@gmail.com>]

I think I could provide some configuration parameters after testing csmith more.

Thanks,
Haihao

On Fri, May 13, 2011 at 11:24 AM, John Regehr <regehr@cs.utah.edu> wrote:

Thanks for your quick reply. How to avoid certain parameter choices to
let csmith generate successfully?

This is not a problem we have solved.

As discussed previously, we really need timeout mechanism to ensure the
termination of case generation by csmith and execution of cases.

Yep.

John