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/pszqr9d55653sr8df14g1psvcib0hfa8-c-reduce-2.10.0.drv | ||
riscv64-linux | /gnu/store/0irxhaaivbmh376y5222xfj031d96pm1-c-reduce-2.10.0.drv | ||
powerpc-linux | /gnu/store/ygq2vxd7k6ca6i7955ni7m2qwsiv951n-c-reduce-2.10.0.drv | ||
powerpc64le-linux | /gnu/store/vzv325lkb09gskm6l0l2wcjlc1f2pxv9-c-reduce-2.10.0.drv | ||
mips64el-linux | /gnu/store/phq73kh1bqs93sa9s1l213g7vx8fcnqw-c-reduce-2.10.0.drv | ||
i686-linux | /gnu/store/g5107wx0ym3axprlqnis9gnvj9fziwyx-c-reduce-2.10.0.drv | ||
i586-gnu | /gnu/store/rwvzaljfar96fv3j00a6paqy9ch1lsis-c-reduce-2.10.0.drv | ||
armhf-linux | /gnu/store/y95h4x7fx8r9bxy6la570p5np99kzhpp-c-reduce-2.10.0.drv | ||
aarch64-linux | /gnu/store/3c3gn9563vwapk0m1rpmacbiqv8agbai-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' |