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

[Yang Chen <chenyang@cs.utah.edu>]

On 09/22/2015 11:03 PM, John Regehr wrote:
> > John, is the attachment incomplete? There is only a single #include
> > directive in the file.
> Yep that is the minimal test case that crashes clang-delta.
>
> John
What's the command to reproduce the crash? Thanks.

- Yang