Re: [creduce-bugs] C-Reduce Bug Report

[Yang Chen <chenyang@cs.utah.edu>]

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