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/g9wx5qqn2128hnq8wy00hvwrk0rbikfd-c-reduce-2.10.0.drv | ||
mips64el-linux | /gnu/store/9csm3qw2myjmq279vd6aavdp3sa7qs76-c-reduce-2.10.0.drv | ||
i686-linux | /gnu/store/1yyiya54jd0j2sfmbk1qbw5jq6zynbk5-c-reduce-2.10.0.drv | ||
armhf-linux | /gnu/store/754pw3hgvidbx7ihffps7ccnfly06mg3-c-reduce-2.10.0.drv | ||
aarch64-linux | /gnu/store/dkfv8g1k1k1z2xhdp77cxzffycvp9x5x-c-reduce-2.10.0.drv |
Linter | Message | Location |
---|---|---|
inputs-should-be-native Identify inputs that should be native inputs | 'flex' should probably be a native input |