13.10.2012, 22:11, "Konstantin Tokarev" <annulen at yandex.ru>: > Running > > 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 -- Regards, Konstantin