Main Site Links:

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

Information for RPM cbmc-5.50.0-2.fc37.src.rpm

ID	841530
Name	cbmc
Version	5.50.0
Release	2.fc37
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	2022-10-16 18:16:04 GMT
Size	8.03 MB
SIGMD5	a5898c7acc63a0645feb9eb70929e4ce
License	BSD with advertising
Buildroot	f37-build-650698-72752
Provides	cbmc = 5.50.0-2.fc37 cbmc-debuginfo = 5.50.0-2.fc37 cbmc-debugsource = 5.50.0-2.fc37 cbmc-doc = 5.50.0-2.fc37 cbmc-utils = 5.50.0-2.fc37
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 12 of 12 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-minisat.patch 2.86 KB cbmc-utils-1.3.tar.gz 535.67 KB cbmc.spec 11.73 KB
Component of	No Buildroots