c-reduce
Reducer for interesting code
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.
- Versions: 2.10.0
- Website: https://embed.cs.utah.edu/creduce
- Licenses: NCSA/University of Illinois Open Source License
- Package source: gnu/packages/debug.scm
- Builds: See build status
- Issues: See known issues
Installation
Install the latest version of c-reduce
as follows:
guix install c-reduce
Or install a particular version:
guix install c-reduce@2.10.0
You can also install packages in augmented, pure or containerized environments for development or simply to try them out without polluting your user profile. See the guix shell
documentation for more information.