-------------------------------------------------------------------------------- Fedora Update Notification FEDORA-2016-886bd77454 2016-09-22 07:30:30.372194 --------------------------------------------------------------------------------
Name : cbmc Product : Fedora 25 Version : 5.5 Release : 2.fc25 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:
Changes in version 5.5: - The option --all-properties is now the default; to restore the previous behaviour, use --stop-on-fail. - The primary area of attention was again the Java front-end. - We have furthermore added test-suite generation for branch coverage, location coverage, condition coverage, decision coverage and MC/DC. -------------------------------------------------------------------------------- References:
[ 1 ] Bug #1371894 - [cbmc] tests fail on big endian arches https://bugzilla.redhat.com/show_bug.cgi?id=1371894 --------------------------------------------------------------------------------
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 https://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 --------------------------------------------------------------------------------