Re: [creduce-bugs] clang delta crash

[Yang Chen]

On 03/26/2015 07:09 AM, Eric Eide wrote:

Yang: Jeff mentioned his C-Reduce version in his email: commit 172b007, which is circa June 2014. It is several commits back from the C-Reduce 2.2.0 release.

I overlooked it. Thanks, Eric!

- Yang