Ubuntu
creduce package

creduce 2.10.0+20200116-1ubuntu1 source package in Ubuntu

Changelog

creduce (2.10.0+20200116-1ubuntu1) focal; urgency=medium

  * Build-depend on frama-c-base.

 -- Matthias Klose <email address hidden>  Thu, 16 Jan 2020 12:53:04 +0100

Upload details

Uploaded by:
Matthias Klose
Uploaded to:
Focal
Original maintainer:
Debian GCC maintainers
Architectures:
any
Section:
devel
Urgency:
Medium Urgency

See full publishing history Publishing

Series Pocket Published Component Section
Focal release universe devel

Downloads

File Size SHA-256 Checksum
creduce_2.10.0+20200116.orig.tar.xz 463.1 KiB 165d7b559317ff15860b430779bb74d82824d55c737a09f0fed4d1e48f59393a
creduce_2.10.0+20200116-1ubuntu1.debian.tar.xz 7.0 KiB 59fe361ee061b749e52b5955ac5849a3503d5fbbcea44f9b78528dbc1623da01
creduce_2.10.0+20200116-1ubuntu1.dsc 2.1 KiB 7e9694e9a48a5b9a21d028d9e81d3bf50aae6df70de1f41104e33ed251fdaade

View changes file

Binary packages built by this source

creduce: 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.

creduce-dbgsym: debug symbols for creduce