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/d0w3cndqphvamvykk3bqq3rhvj719wh5-c-reduce-2.10.0.drv | ||
powerpc64le-linux | /gnu/store/vz8ps26psrl5jq3xna6p5hb03n2pzqjy-c-reduce-2.10.0.drv | ||
mips64el-linux | /gnu/store/pj3xwxarjfxf4f3fssdhqy18ahn65n93-c-reduce-2.10.0.drv | ||
i686-linux | /gnu/store/6pgqwahb2hm4v2sfq7pvg1wix4vhsqvc-c-reduce-2.10.0.drv | ||
i586-gnu | /gnu/store/klmxg76c9jphcaxzya7r11z6wxrjq63m-c-reduce-2.10.0.drv | ||
armhf-linux | /gnu/store/0wif4i3jic9wwzjg6gf02w5nfhj0c9ma-c-reduce-2.10.0.drv | ||
aarch64-linux | /gnu/store/x6s9q1k8kd7kmmfgadry0ckcjp27l60d-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? | |
wrapper-inputs Make sure 'wrap-program' can finds its interpreter. | "bash-minimal" should be in 'inputs' when 'wrap-program' is used |