[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[creduce-bugs] param-to-global: Empty transformation leads to infinite loop
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 gmock-gtest-all.cc
>> on attached file does not modify it but exits successfully leading to infinite loop in creduce.
> param-to-local is also affected