-----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-----
