Main Site Links:

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

Information for RPM cbmc-5.25.0-1.fc33.src.rpm

ID	780908
Name	cbmc
Version	5.25.0
Release	1.fc33
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	2021-04-24 07:12:56 GMT
Size	7.72 MB
SIGMD5	c3386c37b08ebc5fbc2808262731ca51
License	BSD with advertising
Buildroot	f33-build-583537-66539
Provides	cbmc = 5.25.0-1.fc33 cbmc-debuginfo = 5.25.0-1.fc33 cbmc-debugsource = 5.25.0-1.fc33 cbmc-doc = 5.25.0-1.fc33 cbmc-utils = 5.25.0-1.fc33
Obsoletes	No Obsoletes
Conflicts	No Conflicts
Requires	bash bison cmake doxygen-latex flex gcc-c++ gdb glpk-devel graphviz make 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 12 of 12 Name Size cbmc-32bit-arch-fix.patch 522.00 B cbmc-5.12-fix-f33.patch 274.00 B cbmc-5.25.0.tar.gz 7.48 MB cbmc-5.9-glpk.patch 480.00 B cbmc-catch2.patch 571.00 B cbmc-errno-realpath.patch 529.00 B cbmc-f34-fix-build.patch 2.40 KB cbmc-goto-cc-type-change.patch 451.00 B cbmc-minisat.patch 2.83 KB cbmc-signed-char.patch 32.67 KB cbmc-utils-1.1.tar.gz 534.73 KB cbmc.spec 10.48 KB
Component of	No Buildroots