Fixed in 804a468. Thanks! - Yang
On 10/13/12 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
