Automatically reduce C/C++ programs while preserving a property
Reduce a C/C++ program while keeping a property of interest
creduce$ creduce --timing --print-delta 'gcc -c input.c' input.c$ creduce ./test.sh input.cpp$ creduce --n 4 'clang -Wall -c test.c' test.c