[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 <firstname.lastname@example.org>
This is not a problem we have solved.
Thanks for your quick reply. How to avoid certain parameter choices to
let csmith generate successfully?
As discussed previously, we really need timeout mechanism to ensure the
termination of case generation by csmith and execution of cases.