Language

Package: c-reduce @ 2.10.0

Synopsis

Reducer for interesting code

Description

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.

Home page
https://embed.cs.utah.edu/creduce
Location
gnu/packages/debug.scm (line: 96, column: 2)
License

Lint warnings

LinterMessageLocation
inputs-should-be-native

Identify inputs that should be native inputs

'flex' should probably be a native input