• License: BSD-3-Clause
• Home: http://embed.cs.utah.edu/creduce/
• Development: https://github.com/csmith-project/creduce
• Documentation: http://embed.cs.utah.edu/creduce/using/
• 25 total downloads
• Last upload: 4 years and 3 months ago

Description

C-Reduce is a tool that takes a large C, C++, or OpenCL file that has a property of interest (such as triggering a compiler bug) and automatically produces a much smaller C/C++ file that has the same property. It is intended for use by people who discover and report bugs in compilers and other tools that process source code.