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

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

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.