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/psqbdkql4q89v7g2l9ihirdmszl8miv4-c-reduce-2.10.0.drv | ||
mips64el-linux | /gnu/store/9bxwlm2ljw5i92xdrybjpl49j4s4v82a-c-reduce-2.10.0.drv | ||
i686-linux | /gnu/store/l0l6xsjigzqq97dxm1r4w5cc0rarbrid-c-reduce-2.10.0.drv | ||
armhf-linux | /gnu/store/8faqybpg13414r015pxg0f8g7p01ix0w-c-reduce-2.10.0.drv | ||
aarch64-linux | /gnu/store/lqj13j5rn5bf0s0qmagpk0xdxd16j3gv-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 |