[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [creduce-dev] puzzling clang_delta crash
I can't speak for Yang but if we have any brave users who want to use
--die-on-pass-bug and report any remaining bugs in my part of C-Reduce
(everything except clang_delta, basically) I'll be happy to fix. I know
some bugs remain but I can't trigger them offhand.
On 11/16/15 8:37 AM, John Regehr wrote:
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.
On 11/16/15 5:03 AM, Yang Chen wrote:
On 11/15/2015 01:51 PM, John Regehr wrote:
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
--transformation=rename-class --counter=1 hello.cpp
Segmentation fault: 11