cbmc 5.6-1 source package in Ubuntu

Changelog

cbmc (5.6-1) unstable; urgency=low

  * New upstream release
  * Disable Pointer_array5 test due to endianness bugs (Closes: #844776)

 -- Michael Tautschnig <email address hidden>  Sun, 04 Dec 2016 09:18:48 +0000

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
Bionic release universe science

Downloads

File Size SHA-256 Checksum
cbmc_5.6-1.dsc 1.7 KiB 11b3090d64950e9e715fc8d5afd2c08c0e4d81c034aaf671301b6842d7635244
cbmc_5.6.orig.tar.gz 5.2 MiB c6bef63ec42816d0add995ea3b2a5344845cc31f0a6b9e4b8a18df8bb8ad904f
cbmc_5.6-1.debian.tar.xz 10.4 KiB 0d6c4d776f662dc82a70ed16c411446ffe4d9e1de514966abec4c0482d46627c

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: No summary available for cbmc-dbgsym in ubuntu cosmic.

No description available for cbmc-dbgsym in ubuntu cosmic.