[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Bug#626635: marked as done (ITP: cbmc -- bounded model checker for C and C++ programs)

Your message dated Sat, 14 May 2011 12:32:10 +0000
with message-id <E1QLE0w-0000If-Mw@franck.debian.org>
and subject line Bug#626635: fixed in cbmc 3.9+r41-1
has caused the Debian Bug report #626635,
regarding ITP: cbmc -- bounded model checker for C and C++ programs
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 owner@bugs.debian.org
immediately.)


-- 
626635: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=626635
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message --- 
Package: wnpp
Severity: wishlist
Owner: Michael Tautschnig <mt@debian.org>

* Package name    : cbmc
  Version         : 3.9
  Upstream Author : Daniel Kroening
* URL             : http://www.cprover.org/cbmc/
* License         : 4-clause BSD
  Programming Lang: C++
  Description     : 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.

Best regards,
Michael

Attachment: pgpMjlb8IkbW0.pgp
Description: PGP signature


--- End Message ---
--- Begin Message --- 
Source: cbmc
Source-Version: 3.9+r41-1

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:

cbmc_3.9+r41-1.debian.tar.gz
  to main/c/cbmc/cbmc_3.9+r41-1.debian.tar.gz
cbmc_3.9+r41-1.dsc
  to main/c/cbmc/cbmc_3.9+r41-1.dsc
cbmc_3.9+r41-1_amd64.deb
  to main/c/cbmc/cbmc_3.9+r41-1_amd64.deb
cbmc_3.9+r41.orig.tar.gz
  to main/c/cbmc/cbmc_3.9+r41.orig.tar.gz



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 626635@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.

Debian distribution maintenance software
pp.
Michael Tautschnig <mt@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 ftpmaster@debian.org)


-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Format: 1.8
Date: Fri, 13 May 2011 23:54:50 +0200
Source: cbmc
Binary: cbmc
Architecture: source amd64
Version: 3.9+r41-1
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: 626635
Changes: 
 cbmc (3.9+r41-1) unstable; urgency=low
 .
   * Initial upload (closes: #626635)
   * Version 3.9 + all changes of SVN r41
Checksums-Sha1: 
 840c6e1900a960a1ea610557f2ab4951b8849125 1025 cbmc_3.9+r41-1.dsc
 100e11a2eca71dfe1e0f78cacc7adb4a44507901 872672 cbmc_3.9+r41.orig.tar.gz
 dfe48c9169caf9c850eac4784a1805f53c0d7b74 4947 cbmc_3.9+r41-1.debian.tar.gz
 25479fb73f56654a0a310c9cbf944bed2ac481fe 4588812 cbmc_3.9+r41-1_amd64.deb
Checksums-Sha256: 
 d3651587027363247046ff0f15d31a7eaadcb57256dd612d56552abb8f7eb925 1025 cbmc_3.9+r41-1.dsc
 6358b1c39d39efa8de2d421381c7f364e461e6b2a7a52a73967e2082c01e74d5 872672 cbmc_3.9+r41.orig.tar.gz
 87bc59645c5399e20fb1d733d27e24d5a21452a9fbfd82a59d6e6277dc1e05a0 4947 cbmc_3.9+r41-1.debian.tar.gz
 fac59f4fed332415c1e58f0d23d19d68f82fba3e8f74bb5548b0bf7d9721b982 4588812 cbmc_3.9+r41-1_amd64.deb
Files: 
 cbb7c0c1d02c1078ec04bd75d25ce05d 1025 science extra cbmc_3.9+r41-1.dsc
 e30bced5506079303c24bbe95380a489 872672 science extra cbmc_3.9+r41.orig.tar.gz
 e6bba33499d935230c9e315916e7cafe 4947 science extra cbmc_3.9+r41-1.debian.tar.gz
 a3671c5ad44454d3df17b63c1ef5708d 4588812 science extra cbmc_3.9+r41-1_amd64.deb

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.11 (GNU/Linux)

iEYEARECAAYFAk3Nvt4ACgkQvx6dH3bVKsTLCQCdG3xqQlNRvnr5+mQtwM2HaGCh
ENkAn2EAiHxCu+Fl95ghKzQm5EMX2SKT
=32pp
-----END PGP SIGNATURE-----

--- End Message ---
Reply to: