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

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

On 09/22/2015 11:27 AM, John Regehr wrote:

Second, I ran across a new crash on unpreprocessed code, see attached file (reduced by C-Reduce obviously).

John, is the attachment incomplete? There is only a single #include directive in the file.

- Yang