[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[creduce-bugs] param-to-global: Empty transformation leads to infinite loop
I plan to do it at airport tomorrow :)
On 10/13/12 6:36 PM, John Regehr wrote:
> Thanks Konstantin!
> Yang is traveling but I expect will be able to fix this soon.
> On 10/13/2012 12:13 PM, Konstantin Tokarev wrote:
>> 13.10.2012, 22:11, "Konstantin Tokarev" <annulen at yandex.ru>:
>>> clang_delta --transformation=param-to-global --counter=2
>>> on attached file does not modify it but exits successfully leading
>>> to infinite loop in creduce.
>> param-to-local is also affected