creduce: creduce (a C and C++ program reducer) creduce: creduce: C-Reduce is a tool that takes a large C or C++ program that has a creduce: property of interest (such as triggering a compiler bug) and creduce: automatically produces a much smaller C/C++ program that has the same creduce: property. creduce: creduce: creduce: creduce: creduce: