Hi Moritz, Thanks for reporting the issue!
I think it was fixed in the current Git head:$ ./clang_delta --transformation=param-to-global --counter=3 md5.c > /dev/null ; echo $?
0$ clang_delta --transformation=param-to-local --counter=3 md5.c > /dev/null ; echo $?
0 - Yang On 07/05/2018 04:49 AM, Moritz Contag wrote:
--transformation=param-to-global --counter=3 md5.c
