Main Site Links:

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

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

ID	737897
Name	cbmc
Version	5.17.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	2020-11-28 14:52:48 GMT
Size	7.61 MB
SIGMD5	79e19c155541692d35a1dc6f32327dbd
License	BSD with advertising
Buildroot	f33-build-352569-60044
Provides	cbmc = 5.17.0-1.fc33 cbmc-debuginfo = 5.17.0-1.fc33 cbmc-debugsource = 5.17.0-1.fc33 cbmc-doc = 5.17.0-1.fc33 cbmc-utils = 5.17.0-1.fc33
Obsoletes	No Obsoletes
Conflicts	No Conflicts
Requires	bash bison cmake doxygen-latex flex gcc-c++ gdb glpk-devel graphviz minisat2-devel 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 9 of 9 Name Size cbmc-32bit-arch-fix.patch 522.00 B cbmc-5.12-fix-f33.patch 254.00 B cbmc-5.12.6-fix-f33+.patch 303.00 B cbmc-5.17.0.tar.gz 7.36 MB cbmc-5.9-glpk.patch 480.00 B cbmc-minisat.patch 3.02 KB cbmc-signed-char.patch 32.52 KB cbmc-utils-1.0.tar.gz 534.15 KB cbmc.spec 9.37 KB
Component of	No Buildroots