c-reduce 2.10.0
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.
- 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 c-reduce 2.10.0
as follows:
guix install c-reduce@2.10.0
Or install the latest version:
guix install c-reduce
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.