软件包：cbmc-dbgsym（5.95.1-6 以及其他的） [debports]

[ 源代码：  ]

debug symbols for cbmc

其他与 cbmc-dbgsym 有关的软件包

• dep: cbmc (= 5.84.0-11) [riscv64]

  bounded model checker for C and C++ programs

  dep: cbmc (= 5.95.1-4) [alpha, ia64]

  dep: cbmc (= 5.95.1-6) [除 alpha, ia64, riscv64]

下载 cbmc-dbgsym

下载可用于所有硬件架构的

硬件架构	版本	软件包大小	安装后大小	文件
alpha （非官方移植版）	5.95.1-4	580,269.0 kB	588,767.0 kB	[文件列表]
hppa （非官方移植版）	5.95.1-6	456,232.6 kB	464,550.0 kB	[文件列表]
ia64 （非官方移植版）	5.95.1-4	535,843.4 kB	543,834.0 kB	[文件列表]
m68k （非官方移植版）	5.95.1-6	412,256.4 kB	419,905.0 kB	[文件列表]
ppc64 （非官方移植版）	5.95.1-6	466,601.3 kB	475,279.0 kB	[文件列表]
riscv64 （非官方移植版）	5.84.0-11	423,973.2 kB	433,127.0 kB	[文件列表]
sh4 （非官方移植版）	5.95.1-6	330,129.4 kB	336,868.0 kB	[文件列表]
sparc64 （非官方移植版）	5.95.1-6	553,692.3 kB	563,109.0 kB	[文件列表]
x32 （非官方移植版）	5.95.1-6	574,147.9 kB	584,064.0 kB	[文件列表]