-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Tue, 15 Jul 2014 11:54:44 +0100
Source: cbmc
Binary: cbmc
Architecture: source i386
Version: 4.7-2
Distribution: unstable
Urgency: low
Maintainer: Michael Tautschnig <mt@debian.org>
Changed-By: Michael Tautschnig <mt@debian.org>
Description:
cbmc - bounded model checker for C and C++ programs
Closes: 754717
Changes:
cbmc (4.7-2) unstable; urgency=low
.
* Mark tests Pointer_Arithmetic12, Pointer_byte_extract{2,3,5}
as KNOWNBUG due to incomplete big-endian support
(Closes: #754717)
Checksums-Sha1:
ae1a5381a593cebea74bddcbd3be34c87bdb68d7 1746 cbmc_4.7-2.dsc
7c45122706c0f6e1074eeac9dc18e51a5ba31c24 9416 cbmc_4.7-2.debian.tar.xz
a732915bd2cfdfee5e7913bc7fcee014c7b69297 2764146 cbmc_4.7-2_i386.deb
Checksums-Sha256:
b477e3f48540ea66fc4a01113a66d382b61f654d74c35450f5a13bb55e5c9131 1746 cbmc_4.7-2.dsc
493de14fa4c63a4c0c457d0e5ead8ba4eaa112d39b1c9b77eeb0282123736919 9416 cbmc_4.7-2.debian.tar.xz
f7c380ea19bf0d4a30e12818378de90af6b518032bc249923d64421b7feec8ca 2764146 cbmc_4.7-2_i386.deb
Files:
5e5826c22d04b50feb20baae8d2fa996 2764146 science extra cbmc_4.7-2_i386.deb
93b1fece0118d2bbe0aa77237f43293b 1746 science extra cbmc_4.7-2.dsc
6173e21fff657a7718b648d58efc2c63 9416 science extra cbmc_4.7-2.debian.tar.xz
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.12 (GNU/Linux)
Comment: GPGTools - http://gpgtools.org
iQIcBAEBCAAGBQJTxQ64AAoJEKjvEonjOGdBaf0QAILNpSaZq4E4BKBbybjCTQtP
iuTmXxS5IWE0GaoSN1VUKjA/PqD7ENG8XieEIg4Rk/T8rHrhlW0/+iNpVY67YnrA
V5iR9n/UaznQGmtL/uWfWUCuI/alQ4kHT3My/HbKqzO9pqD4gqacaYhbzJqWw1vJ
ygxexp/WJciGD0Moaps7y6PoXzVlCq1c/BJWiRMGQeOb01+36p6IiBfjLfByX8/8
WjuOKVzLLqKXNz+97q4vGU+OvbUYSoepfiC+uAacncScjFadE4A6VCLeF68FcKmN
Zxhs1Z80ZgLLnhmLG1euu53j7uRNQX2bYqXkK1lpMO9FAj1oe2dnuQjc9CN0C0AN
pGzoSeS0pFT0E46NXXdMbXqAiHvW+2ge1rnOENjZz2j6pp20pXhoc6AcuFw4fmhH
FBNh2I9clxYzzR6WjlkJCYdapIkG6eJjbSIR/E5j0X4lNWUxvQiltRZFLGnpWS1T
Fsn6iKxwfPXph+EwOSqilt5D8NYJH4g78D+wBCpAaLb/33tGNdwPGEkCEOW1YvuH
S1+9QAe4E9kJLnZb7lvwZDdRkzMQFq0WEtm2Cn2RL2pI+QXC3limWmx10uQoTUE2
FNR6ufTZsGZPsBIhoddF3PnDsUzNkeAlQDFIMfFNYijJIYpM04qPSWSztGqS1a3Y
+zN+IdzQj1pClzr1az2+
=V9Y6
-----END PGP SIGNATURE-----