1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
|
Source: creduce
Section: devel
Priority: extra
Maintainer: Debian GCC Maintainers <debian-gcc@lists.debian.org>
Uploaders: Matthias Klose <doko@debian.org>
Build-Depends: debhelper (>= 9), autotools-dev,
flex,
libedit-dev, zlib1g-dev,
llvm-3.9-dev, libclang-3.9-dev,
clang-3.9, clang-format-3.9,
libbenchmark-timer-perl, libsys-cpu-perl,
libfile-which-perl, libregexp-common-perl, libexporter-lite-perl,
libgetopt-tabular-perl, libterm-readkey-perl,
# for running the tests:
frama-c-base
Build-Conflicts: kcc
Standards-Version: 3.9.8
Homepage: http://embed.cs.utah.edu/creduce/
Package: creduce
Architecture: any
Depends: ${shlibs:Depends}, ${misc:Depends},
clang-format-3.9,
libbenchmark-timer-perl, libsys-cpu-perl,
libfile-which-perl, libregexp-common-perl, libexporter-lite-perl,
libgetopt-tabular-perl, libterm-readkey-perl,
Recommends: gcc | clang
Description: Test-Case Reduction for C Compiler Bugs
C-Reduce is a tool which 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.
|
