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 | 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
- diff from 5.4-3 to 5.6-1 (762.5 KiB)
- diff from 5.5-1 to 5.6-1 (244.6 KiB)
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.