Language

Package: c-reduce @ 2.10.0

Synopsis

Reducer for interesting code

Description

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.

Home page
https://embed.cs.utah.edu/creduce
Location
gnu/packages/debug.scm (line: 121, column: 2)
License

Derivations

SystemTargetDerivationBuild status
x86_64-linux/gnu/store/jrjvlfinjaink797laccrm987dds193n-c-reduce-2.10.0.drv
    x86_64-linuxx86_64-w64-mingw32/gnu/store/f68b4mwrfbjrc98ig5yf4n7vvggjqr8k-c-reduce-2.10.0.drv
    x86_64-linuxriscv64-linux-gnu/gnu/store/4p090c51asi9il3m5igcwn442kxx83f5-c-reduce-2.10.0.drv
    x86_64-linuxpowerpc-linux-gnu/gnu/store/nirbvfyaqjl95wa21yjp1v5b756gc470-c-reduce-2.10.0.drv
    x86_64-linuxpowerpc64le-linux-gnu/gnu/store/q1q0xfjivmshnwwim9500g9bz0q4jrkh-c-reduce-2.10.0.drv
    x86_64-linuxmips64el-linux-gnu/gnu/store/iciif223pjfzpxyn8yrany1vlxq8dx6a-c-reduce-2.10.0.drv
    x86_64-linuxi686-w64-mingw32/gnu/store/g5zfs0hhbv4x4kvwavw2rlrkvxvda2ir-c-reduce-2.10.0.drv
    x86_64-linuxi586-pc-gnu/gnu/store/ibl7czfc7khkjrm1m4q4xys0kgzynszz-c-reduce-2.10.0.drv
    x86_64-linuxarm-linux-gnueabihf/gnu/store/dwhhlhf1ryrjxgzv4hh14hb21br0fccn-c-reduce-2.10.0.drv
    x86_64-linuxaarch64-linux-gnu/gnu/store/lllk6449wj1mr4k5j715vl7fabnmh78y-c-reduce-2.10.0.drv
    riscv64-linux/gnu/store/jf4kg55y3ih3l1v2hg836c7fbr4bwlcx-c-reduce-2.10.0.drv
      powerpc-linux/gnu/store/b04hkrchwjliy2wd29g9q1i9yhbkfwl4-c-reduce-2.10.0.drv
        powerpc64le-linux/gnu/store/bxbs1al6y69ysd13pil75fkrds7zwh6l-c-reduce-2.10.0.drv
        i686-linux/gnu/store/q3jfwwd83g4ysimgw0lv7vkdv2138f0h-c-reduce-2.10.0.drv
        i586-gnu/gnu/store/h77mf1vnihwfbjrbzqwcj11vgw1scywf-c-reduce-2.10.0.drv
        armhf-linux/gnu/store/0yzhpm5rn4nikg7j2ik1xkyr1dqd42n0-c-reduce-2.10.0.drv
        aarch64-linux/gnu/store/2ll8j6ks1r9i214w0dcvanhj3qr2a526-c-reduce-2.10.0.drv

        Lint warnings

        LinterMessageLocation
        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'
        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?