Great, C-Reduce now reduces this largish pile of non-preprocessed C code
(across ~180 files) without any pass failures! I think that is a first.
John
On 11/16/15 5:03 AM, Yang Chen wrote:
Fixed. Thanks.
- Yang
On 11/15/2015 01:51 PM, John Regehr wrote:
Thanks Yang!
Recent patches have made clang_delta much more stable and a difficult
C++ reduction that I have sitting around now almost completes in
C-Reduce's new --die-on-pass-bug mode, but at the very end it trips
over this:
$ "/Users/regehr/creduce-install/libexec/clang_delta"
--transformation=rename-class --counter=1 hello.cpp
Segmentation fault: 11
John