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