cbmc source package in Bionic

cbmc: bounded model checker for C and C++ programs
cbmc-dbgsym: No summary available for cbmc-dbgsym in ubuntu zesty.

Versions published


The package versions that were published when the distribution release was made.

cbmc information

Current version:
Low Urgency

Upstream connections

Launchpad doesn’t know which project and series this package belongs to. Links from distribution packages to upstream project let distribution and upstream maintainers share bugs, patches, and translations efficiently.

There are no projects registered in Launchpad that are a potential match for this source package. Can you help us find one?

Releases in Ubuntu

Binary packages

Download files from current release (5.6-1)

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

Package relationships

Build dependencies

Platform-independent build dependencies

Platform-dependent build dependencies

Build conflicts

Platform-independent build dependencies

Platform-dependent build dependencies