Your message dated Thu, 14 Jul 2016 10:05:52 +0000 with message-id <e1bndwi-0005jo...@franck.debian.org> and subject line Bug#831166: fixed in cbmc 5.4-3 has caused the Debian Bug report #831166, regarding cbmc: FTBFS with GCC 6: Tests failures to be marked as done.
This means that you claim that the problem has been dealt with. If this is not the case it is now your responsibility to reopen the Bug report if necessary, and/or fix the problem forthwith. (NB: If you are a system administrator and have no idea what this message is talking about, this may indicate a serious mail system misconfiguration somewhere. Please contact ow...@bugs.debian.org immediately.) -- 831166: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=831166 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems
--- Begin Message ---Source: cbmc Version: 5.4-2 Severity: serious Tags: stretch sid User: debian...@lists.debian.org Usertags: qa-ftbfs-20160713 qa-ftbfs Justification: FTBFS with GCC 6 on amd64 Hi, During a rebuild of all packages in sid using the gcc-defaults package available in experimental to make GCC default to version 6, your package failed to build on amd64. For more information about GCC 6 and Stretch, see: - https://wiki.debian.org/GCC6 - https://lists.debian.org/debian-devel-announce/2016/06/msg00007.html Relevant part (hopefully): > Running windows_h_VS_2005 [OK] > Running windows_h_VS_2008 [OK] > Running windows_h_VS_2010 [OK] > Running windows_h_VS_2012 [OK] > > Tests failed > 1 of 82 tests failed, 20 tests skipped > Failed test: enum8 > file /usr/include/x86_64-linux-gnu/c++/6/bits/c++config.h line 202: parse > error before `; } namespace std' > PARSING ERROR > EXIT=64 > SIGNAL=0 > > > make[1]: *** [override_dh_auto_test] Error 1 > debian/rules:31: recipe for target 'override_dh_auto_test' failed The full build log is available from: http://people.debian.org/~lucas/logs/2016/07/13/cbmc_5.4-2_unstable_gcc6.log A list of current common problems and possible solutions is available at http://wiki.debian.org/qa.debian.org/FTBFS . You're welcome to contribute! About the archive rebuild: The rebuild was done on EC2 VM instances from Amazon Web Services, using a clean, minimal and up-to-date chroot. Every failed build was retried once to eliminate random failures.
--- End Message ---
--- Begin Message ---Source: cbmc Source-Version: 5.4-3 We believe that the bug you reported is fixed in the latest version of cbmc, which is due to be installed in the Debian FTP archive. A summary of the changes between this version and the previous one is attached. Thank you for reporting the bug, which will now be closed. If you have further comments please address them to 831...@bugs.debian.org, and the maintainer will reopen the bug report if appropriate. Debian distribution maintenance software pp. Michael Tautschnig <m...@debian.org> (supplier of updated cbmc package) (This message was generated automatically at their request; if you believe that there is a problem with it please contact the archive administrators by mailing ftpmas...@ftp-master.debian.org) -----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Thu, 14 Jul 2016 09:45:43 +0100 Source: cbmc Binary: cbmc Architecture: source i386 Version: 5.4-3 Distribution: unstable Urgency: medium Maintainer: Michael Tautschnig <m...@debian.org> Changed-By: Michael Tautschnig <m...@debian.org> Description: cbmc - bounded model checker for C and C++ programs Closes: 831166 Changes: cbmc (5.4-3) unstable; urgency=medium . * Disable enum8 test due to limitations in C++ front-end. Thanks Lucas for reporting (Closes: #831166) Checksums-Sha1: a9a354d4cdddedf835228a1826c1a7ae99923244 1744 cbmc_5.4-3.dsc 9f6abffa0d8e5fe56767169acbab0fe233a1f7ce 12188 cbmc_5.4-3.debian.tar.xz 24a11e2354e716728238b38ad8a5df172a241b1b 106465588 cbmc-dbgsym_5.4-3_i386.deb 6634f88b4ea1c7a5cb0d4b779bbcc5549de3370e 3529372 cbmc_5.4-3_i386.deb Checksums-Sha256: 0008dbc2e6540f496a648b7c852de287133db8349321f2b4fffa145f28d19983 1744 cbmc_5.4-3.dsc 654f261fad4d3f184b0271f0c590da1bb1f794baa813296bd0560f6298f7b3f8 12188 cbmc_5.4-3.debian.tar.xz 95677be56c98e2334714e7f5ebdcfa35fcd593e32eafb9ae7a95ed798948c0c5 106465588 cbmc-dbgsym_5.4-3_i386.deb 69bfb313f7c1e951133ed2d2e8c1e8f6aaed221d44f3af98c3e06a95e4ba15d8 3529372 cbmc_5.4-3_i386.deb Files: 67d48f7503fb2d5b89653aa15cc3d670 1744 science extra cbmc_5.4-3.dsc 488999a18b6a7c1f3f6a2cd5c2b2ac06 12188 science extra cbmc_5.4-3.debian.tar.xz 8426b1f20c96573569d7c924d34df02d 106465588 debug extra cbmc-dbgsym_5.4-3_i386.deb 560ebd7638fe22a5b8160ba197329331 3529372 science extra cbmc_5.4-3_i386.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1 Comment: GPGTools - http://gpgtools.org iQIcBAEBCAAGBQJXh1k/AAoJEDu/g5M27KkxwbsP/A/XWjPifR4OQED12sNDweo8 02hkQ8jCNmxyLPRXe8AifFlonGAGTQw/LcOG4aINmuSgA5gnN82denBgbtZ8bB3d gsHb+fpvAoCQ9XRFxh+0HiZ9XE3hFALkDROFoeGPzp+fUmJMoLtnPYeYK7EqfmMg tHz5bB6XGg8yMOSP2H55mQKkwEHI6udZhHyAJ8NRahvvi+SjimqHKNOx9PwkQlll tlZrDhkswtdY6wBZnKT43umWabSbufQwcItQnnp5XBCJd/lGa8KsssSJf/B3XF5g 25Vn6xGmiPVm1QT/bspGh+8eb2mkm4aEEt93ce24zuM1T43kJm8ymcRo8BhshjTU FX/g/uLZ3Zp3cFzJCTXgcqNaadX0qJK8kiyWyP+jv56VqvaadFsumqdp/ssu+eaN 3Edpt3wjI4ZLIVx9bGO2iS9VRwZBr0sVJXdtpcd2taNAFssXZjApDbM4szFCXEs2 JoaGlCELfmgRZOtWEbJYVjJUaOpyQP4Yh7zdlnIOlCmmogvVOZLqroazgx4wX6jr Bx212Yuodd5U/jgI8PaxAR5Ro+dKWmLrJd9tU1GvUgGONE3iguul3bNPojf+Lf5Z +NkZRTXR/A/2W1mXw3frdeo8w05bYcDPTuKmjYbHlMh4rrgcQwnPZkCcGmefXx1x ZhNF5vox3eXsylQ5CuHC =9chz -----END PGP SIGNATURE-----
--- End Message ---
