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.
| System | Target | Derivation | Build status |
|---|---|---|---|
| x86_64-linux | /gnu/store/rrya9y6jh69kn5zgnyxcn9cfhcmxfhr5-c-reduce-2.10.0.drv | ||
| riscv64-linux | /gnu/store/4sw16gjfbb03q5d0ps6drz7d2s0kg06a-c-reduce-2.10.0.drv | ||
| powerpc-linux | /gnu/store/xlgjmqgzkz7iwk9v6bzwbmjqjkqazhrz-c-reduce-2.10.0.drv | ||
| powerpc64le-linux | /gnu/store/k5i58lmqdxf5h4jmmy4yhhhlmrpfznmy-c-reduce-2.10.0.drv | ||
| mips64el-linux | /gnu/store/wq4impw52nj612pz7vkrr4k0hxmlfklj-c-reduce-2.10.0.drv | ||
| i686-linux | /gnu/store/6zh0rplpxb07040mcw0hgl03min4zm04-c-reduce-2.10.0.drv | ||
| i586-gnu | /gnu/store/qn777s9slhbcbg0hlqi206mzxx4h53pg-c-reduce-2.10.0.drv | ||
| armhf-linux | /gnu/store/qca6q7zr0s6swr6hkf2za2nw3ip52y29-c-reduce-2.10.0.drv | ||
| aarch64-linux | /gnu/store/m2vs8qyywmk4rl5l4j29bfjlv9zv43na-c-reduce-2.10.0.drv |
| Linter | Message | Location |
|---|---|---|
| wrapper-inputs Make sure 'wrap-program' can finds its interpreter. | "bash-minimal" should be in 'inputs' when 'wrap-program' is used | |
| optional-tests Make sure tests are only run when requested | the 'check' phase should respect #:tests? | |
| input-labels Identify input labels that do not match package names | label 'exporter-lite' does not match package name 'perl-exporter-lite' | |
| input-labels Identify input labels that do not match package names | label 'file-which' does not match package name 'perl-file-which' | |
| input-labels Identify input labels that do not match package names | label 'getopt-tabular' does not match package name 'perl-getopt-tabular' | |
| input-labels Identify input labels that do not match package names | label 'regex-common' does not match package name 'perl-regexp-common' | |
| input-labels Identify input labels that do not match package names | label 'term-readkey' does not match package name 'perl-term-readkey' |