Package: cbatticon-dbgsym (1.6.9-1 and others) [debports]

Links for cbatticon-dbgsym

Debian Resources:

Bug Reports

Download Source Package :

Not found

Maintainers:

Similar packages:

cbatticon
xen-utils-4.17-dbg
libxfce4ui-1-dbg
libxfce4ui-2-dbg
gnat-14-sparc64-linux-gnu-dbgsym
flatzinc
binutils-aarch64-linux-gnu-dbg
binutils-alpha-linux-gnu-dbg
binutils-arm-linux-gnueabi-dbg
binutils-arm-linux-gnueabihf-dbg
binutils-hppa-linux-gnu-dbg

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.

Other Packages Related to cbatticon-dbgsym

depends

recommends

suggests

enhances

dep: cbatticon (= 1.6.9-1+b2)

lightweight and fast battery icon status and more

Download cbatticon-dbgsym

Download for all available architectures
Architecture	Version	Package Size	Installed Size	Files
sparc64 (unofficial port)	1.6.9-1+b2	24.0 kB	41.0 kB	[list of files]