cbmc 5.10-5 source package in Ubuntu

Changelog

cbmc (5.10-5) unstable; urgency=low

  * Use default-jdk-headless instead of openjdk-8 (Closes: #910704)

 -- Michael Tautschnig <email address hidden>  Wed, 17 Oct 2018 19:55:17 +0100

Upload details

Uploaded by:
Michael Tautschnig on 2018-10-18
Uploaded to:
Sid
Original maintainer:
Michael Tautschnig
Architectures:
any
Section:
science
Urgency:
Low Urgency

See full publishing history Publishing

Series Pocket Published Component Section
Focal release on 2019-10-18 universe science
Eoan release on 2019-04-18 universe science
Disco release on 2018-11-10 universe science

Downloads

File Size SHA-256 Checksum
cbmc_5.10-5.dsc 2.1 KiB 225bb25ee1350f776785b51e0308e23347e04c8fd0b9bc552d7fb0e8a8b6c6c3
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-5.debian.tar.xz 12.3 KiB f52e722787b81a974cac6fc8da42d663c73e98e48c34246bb41c8ec987928286

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: debug symbols for cbmc