Main Site Links:

• Summary
• Packages
• Builds
• Tasks
• Tags
• Build Targets
• Users
• Hosts
• Reports
• Search
• API

Information for RPM cbmc-5.50.0-6.fc40.src.rpm

ID	1129241
Name	cbmc
Version	5.50.0
Release	6.fc40
Epoch
Arch	src
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.
Build Time	2023-11-30 15:37:39 GMT
Size	8.03 MB
SIGMD5	ad50513ef5357c1dbc7b08ed628e8d68
License	BSD-4-Clause
Buildroot	f40-build-751842-116206
Provides	cbmc = 5.50.0-6.fc40 cbmc-debuginfo = 5.50.0-6.fc40 cbmc-debugsource = 5.50.0-6.fc40 cbmc-doc = 5.50.0-6.fc40 cbmc-utils = 5.50.0-6.fc40
Obsoletes	No Obsoletes
Conflicts	No Conflicts
Requires	bison cmake doxygen flex gcc-c++ glpk-devel minisat2-devel ninja-build rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 zlib-devel
Recommends	No Recommends
Suggests	No Suggests
Supplements	No Supplements
Enhances	No Enhances
Files	1 through 13 of 13 Name Size cbmc-5.12-fix-f33.patch 274.00 B cbmc-5.50.0.tar.gz 7.90 MB cbmc-5.9-glpk.patch 480.00 B cbmc-add-cmd-line-arg.patch 11.42 KB cbmc-disable-werror.patch 2.16 KB cbmc-f34-fix-build.patch 2.40 KB cbmc-f35-deprecated-python.patch 750.00 B cbmc-f35-enable_sse2.patch 929.00 B cbmc-f36-fix-build-gcc12-incompatibility.patch 44.21 KB cbmc-f38-gcc13.patch 1.62 KB cbmc-minisat.patch 2.86 KB cbmc-utils-1.3.tar.gz 535.67 KB cbmc.spec 12.48 KB
Component of	No Buildroots