Ubuntu
cbmc package

cbmc 5.12-5 source package in Ubuntu

Changelog

cbmc (5.12-5) unstable; urgency=low

  * Disable regression tests that take too long on mipsel.

 -- Michael Tautschnig <email address hidden>  Mon, 04 May 2020 13:06:54 +0100

Upload details

Uploaded by:
Michael Tautschnig
Uploaded to:
Sid
Original maintainer:
Michael Tautschnig
Architectures:
any
Section:
science
Urgency:
Low Urgency

See full publishing history Publishing

Series Pocket Published Component Section
Mantic release universe science
Lunar release universe science
Jammy release universe science

Downloads

File Size SHA-256 Checksum
cbmc_5.12-5.dsc 2.2 KiB 7aec7026e5d85810f1222441f7902a649671e8efa983761cabf9bb1175c81120
cbmc_5.12.orig-java-models-library.tar.gz 296.7 KiB 38e5181b05687c1c6baaa48bec3110ba3989df6daf303ace44ef15e38f7721f3
cbmc_5.12.orig.tar.gz 6.9 MiB 1b9d003e1baffc714b36a38087e4ed42b47c04da5ebdb02bbce03262ea3acafd
cbmc_5.12-5.debian.tar.xz 15.4 KiB 4f9a7a59047c83ad4abec8c2483e2a76a8d1a38e5fb8e5d7c2475514bbf920e9

Available diffs

No changes file available.

Binary packages built by this source

cbmc: bounded model checker for C and C++ programs

 CBMC generates traces that demonstrate how an assertion can be violated, or
 proves that the assertion cannot be violated within a given number of loop
 iterations.

cbmc-dbgsym: debug symbols for cbmc