cbmc 5.10-5ubuntu1 source package in Ubuntu
Changelog
cbmc (5.10-5ubuntu1) focal; urgency=medium
[ Adrian Bunk ]
* Build fixes:
- Fix the build with libmaven-compiler-plugin-java 3.8.1.
- Backport upstream fix for building with new bison.
(Closes: #952256)
-- Graham Inggs <email address hidden> Tue, 14 Apr 2020 07:35:50 +0000
Upload details
- Uploaded by:
- Graham Inggs
- Uploaded to:
- Focal
- Original maintainer:
- Ubuntu Developers
- Architectures:
- any
- Section:
- science
- Urgency:
- Medium Urgency
See full publishing history Publishing
| Series | Published | Component | Section | |
|---|---|---|---|---|
| Focal | release | universe | science |
Downloads
| File | Size | SHA-256 Checksum |
|---|---|---|
| cbmc_5.10.orig-java-models-library.tar.gz | 169.3 KiB | e640dc23ad0e70d9e6750d1fe683cb4378797b4c96bd0d8a15cfeaab2ade5487 |
| cbmc_5.10.orig.tar.gz | 6.1 MiB | 00e4836992e6cc56c5bf1299cc6de1a2eed5d8be9485c2adb52e1e69fb575352 |
| cbmc_5.10-5ubuntu1.debian.tar.xz | 13.1 KiB | dd6414fee735fe5975f34755bdd4fd4f807a41b03553858edce8990d1488181e |
| cbmc_5.10-5ubuntu1.dsc | 2.2 KiB | 65d5a4212a3e5b2274d195517469884e7b62a36fa7f0305bde1c45cafd72aa4e |
Available diffs
- diff from 5.10-5 (in Debian) to 5.10-5ubuntu1 (1.8 KiB)
- diff from 5.10-5build1 to 5.10-5ubuntu1 (1.8 KiB)
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
