Re: [creduce-dev] CReduce infinite loop

[John Regehr]

Paulo this happens when clang_delta claims to make a transformation but 
doesn't actually do anything.  There are a variety of reasons this might 
happen.  We haven't seen it happen for a while so thanks for the bug report!

John



On 07/12/2012 05:25 AM, Yang Chen wrote:
On 7/12/12 7:22 PM, Paulo J. Matos wrote:
clang_delta --transformation=copy-propagation --counter=6

OK. I can reproduce the bug. I'll investigate it soon. Thanks.

- Yang