C-Reduce has been a godsend at my job. I work on the tool that converts C/C++ programs to our internal database format for https://lgtm.com/ and I regularly have to investigate issues we have handling large open-source projects. C-Reduce is the difference between having to debug megabytes of (preprocessed) source code and a few tens of bytes. Great job by all involved.
