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

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

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


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.