Thanks Konstantin! Yang is traveling but I expect will be able to fix this soon.
John On 10/13/2012 12:13 PM, Konstantin Tokarev wrote:
13.10.2012, 22:11, "Konstantin Tokarev" <[email protected]>: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
