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

Re: [creduce-dev] Close to New C-Reduce Release

On 2015-09-22 11:27, John Regehr wrote:

Second, I ran across a new crash on unpreprocessed code, see attached
file (reduced by C-Reduce obviously).  Do you have time to take a look

Yes, I will address the issue by tomorrow.

- Yang