Main Site Links:

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

Information for RPM cbmc-5.50.0-4.fc38.src.rpm

ID	979268
Name	cbmc
Version	5.50.0
Release	4.fc38
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-03-25 07:18:06 GMT
Size	8.03 MB
SIGMD5	cf1548af4ed3c68bf37869034ce99944
License	BSD-4-Clause
Buildroot	f38-build-700660-88142
Provides	cbmc = 5.50.0-4.fc38 cbmc-debuginfo = 5.50.0-4.fc38 cbmc-debugsource = 5.50.0-4.fc38 cbmc-doc = 5.50.0-4.fc38 cbmc-utils = 5.50.0-4.fc38
Obsoletes	No Obsoletes
Conflicts	No Conflicts
Requires	bison cmake doxygen flex gcc-c++ gdb glpk-devel jq minisat2-devel ninja-build perl python3 rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 z3 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.17 KB
Component of	No Buildroots