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/fk8qnn92r1fhq9f5dhkd4jj3v144qk4z-c-reduce-2.10.0.drv
    x86_64-linuxx86_64-w64-mingw32/gnu/store/9c7vcp0ppk9z4bzv9rdsvzfkk0gacfnv-c-reduce-2.10.0.drv
    x86_64-linuxriscv64-linux-gnu/gnu/store/h1mavhi22znwskicwxl78gwbpngva5ch-c-reduce-2.10.0.drv
    x86_64-linuxpowerpc-linux-gnu/gnu/store/npi38km6cq3qlls8vfg9wwm2d1xqlync-c-reduce-2.10.0.drv
    x86_64-linuxpowerpc64le-linux-gnu/gnu/store/n2jlqyg96hmqabq9inb15i5f00jgdd7x-c-reduce-2.10.0.drv
    x86_64-linuxmips64el-linux-gnu/gnu/store/g4gwa5c9mh8jli29fxs58fm8kr05dx1g-c-reduce-2.10.0.drv
    x86_64-linuxi686-w64-mingw32/gnu/store/7qc46z9qrl27pkxz7qwbh7glaw4zdw0k-c-reduce-2.10.0.drv
    x86_64-linuxi586-pc-gnu/gnu/store/fg287wlcmq9q9hsp52ymy00b7cf34kq5-c-reduce-2.10.0.drv
    x86_64-linuxarm-linux-gnueabihf/gnu/store/r846wh11h8792q93ma8fkwskj0fa740k-c-reduce-2.10.0.drv
    x86_64-linuxaarch64-linux-gnu/gnu/store/frijfz93h0iaid7hk4w5avjgmwg5mh9q-c-reduce-2.10.0.drv
    riscv64-linux/gnu/store/c5z3mw0a350ry3ldkyb01cb32dfghr7q-c-reduce-2.10.0.drv
      powerpc-linux/gnu/store/9vnx95yh2rp75l8f43q0gnzsb379891i-c-reduce-2.10.0.drv
        powerpc64le-linux/gnu/store/w719fyzi6vf9cl2n9jdsx9zwyky3gp59-c-reduce-2.10.0.drv
        i686-linux/gnu/store/s55ky9c3lghn6hs8wc9fmnr3nlqcfp8f-c-reduce-2.10.0.drv
        i586-gnu/gnu/store/k13bv5zkdyr4y7cd6vyx3yrf9mlqvb1b-c-reduce-2.10.0.drv
        armhf-linux/gnu/store/g5bfh1965nx5g68mvpxvbxcswlxs3wwv-c-reduce-2.10.0.drv
        aarch64-linux/gnu/store/snik6apa0n0r5i74bw4a4i6a83whi0dl-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?