-------------------------------------------------------------------------------- Fedora Update Notification FEDORA-2013-12713 2013-07-11 00:43:42 --------------------------------------------------------------------------------
Name : cbmc Product : Fedora 18 Version : 4.3 Release : 5.20130515svn.fc18 URL : http://www.cprover.org/cbmc/ Summary : Bounded Model Checker for ANSI-C and C++ programs Description : 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. -------------------------------------------------------------------------------- Update Information: - fix build on s390x Bounded Model Checker for ANSI-C and C++ programs Bounded Model Checker for ANSI-C and C++ programs -------------------------------------------------------------------------------- References: [ 1 ] Bug #965570 - Review Request: cbmc - Bounded Model Checker for ANSI-C and C++ programs https://bugzilla.redhat.com/show_bug.cgi?id=965570 -------------------------------------------------------------------------------- This update can be installed with the "yum" update program. Use su -c 'yum update cbmc' at the command line. For more information, refer to "Managing Software with yum", available at http://docs.fedoraproject.org/yum/. All packages are signed with the Fedora Project GPG key. More details on the GPG keys used by the Fedora Project can be found at https://fedoraproject.org/keys -------------------------------------------------------------------------------- _______________________________________________ package-announce mailing list [email protected] https://admin.fedoraproject.org/mailman/listinfo/package-announce
