aboutsummaryrefslogtreecommitdiff
path: root/development/creduce/README
blob: b52b2398e97c27a61c83741015faa550083c0ffb (plain)
1
2
3
4
5
6
7
8
9
10
C-Reduce is a tool that takes a large C or C++ program that has a
property of interest (such as triggering a compiler bug) and
automatically produces a much smaller C/C++ program that has the same
property. It is intended for use by people who discover and report bugs
in compilers and other tools that process C/C++ code.

A sample run would look like:

$ creduce --n $(nproc) --timing build_and_verify.sh test.i
$ creduce --help