File: control

package info (click to toggle)
cbmc 5.6-1
  • links: PTS
  • area: main
  • in suites: stretch
  • size: 57,432 kB
  • sloc: cpp: 212,901; ansic: 48,158; yacc: 4,209; java: 3,971; lex: 2,264; makefile: 1,504; sh: 865; python: 649; perl: 421; pascal: 403; xml: 24
file content (16 lines) | stat: -rw-r--r-- 557 bytes parent folder | download 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
 
Source: cbmc
Section: science
Priority: extra
Maintainer: Michael Tautschnig <mt@debian.org>
Build-Depends: debhelper (>= 9), minisat (>= 1:2.2.1-2), zlib1g-dev,
 flex, bison, libzip-dev
Standards-Version: 3.9.8
Homepage: http://www.cprover.org/cbmc/

Package: cbmc
Architecture: any
Depends: gcc, ${shlibs:Depends}, ${misc:Depends}
Description: 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.