cbmc
bounded model checker for C and C++ programs

NEW: Take a look at the new package tracker: tracker.debian.org/pkg/cbmc

general

source
cbmc (source, science)
version
5.95.1-6
maint
Michael Tautschnig
std-ver
4.6.2

versions ... ...pool

o-o-stable
save 5.10-5
oldstable
save 5.12-5
testing
save 5.95.1-6
unstable
save 5.95.1-6
Ubuntu
5.95.1-6

binaries

todo

problems

  • The package has not yet entered testing even though the 5-day delay is over. Check why.

testing migration

excuses:
  • Migration status for cbmc (- to 5.12-5): BLOCKED: Rejected/violates migration policy/introduces a regression
  • Issues preventing migration:
  • Updating cbmc introduces new bugs: #984008.
  • Additional info:
  • Piuparts tested OK - https://piuparts.debian.org/sid/source/c/cbmc.html
  • 590 days old (needed 5 days)

news RSS

bugs

all bug history graph
1
RC
0
I&N
1
M&W
0
F&P
0
Ubu
1