cbmc source package in Trusty

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

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?

Download files from current release (4.5-2ubuntu2)

File Size SHA-256 Checksum
cbmc_4.5.orig.tar.gz 3.6 MiB 531ac05d25cb7e73acd4784356415d8f2da1dae36e86a1294d6a5ec9a1188e4d
cbmc_4.5-2ubuntu2.debian.tar.gz 6.3 KiB ecc0dd57aaf25647fc46ae61e0a85077f1c74727771a300e0435b05e9726fb07
cbmc_4.5-2ubuntu2.dsc 1.1 KiB 9d306b3acbd18fffe7773f21089fbc888826f0c6d99a3d13d57aefcc0970dbf6

Package relationships

Build dependencies

Platform-independent build dependencies

Platform-dependent build dependencies

Build conflicts

Platform-independent build dependencies

Platform-dependent build dependencies