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: 115, column: 2)
License

Lint warnings

LinterMessageLocation
optional-tests

Make sure tests are only run when requested

the 'check' phase should respect #:tests?
wrapper-inputs

Make sure 'wrap-program' can finds its interpreter.

"bash-minimal" should be in 'inputs' when 'wrap-program' is used