Main Site Links:

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

Information for RPM cbmc-5.11-5.fc33.src.rpm

ID	575801
Name	cbmc
Version	5.11
Release	5.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-03-28 15:36:07 GMT
Size	6.24 MB
SIGMD5	115710c3146eddc4fd8fa00ac4d44c9b
License	BSD with advertising
Buildroot	f33-build-137631-42034
Provides	No Provides
Obsoletes	No Obsoletes
Conflicts	No Conflicts
Requires	bash bison doxygen-latex flex gcc-c++ 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 7 of 7 Name Size cbmc-5.11-fix-build.patch 2.34 KB cbmc-5.11-qbf.patch 5.02 KB cbmc-5.11.tar.gz 6.24 MB cbmc-5.9-format.patch 564.00 B cbmc-5.9-glpk.patch 480.00 B cbmc.spec 8.09 KB goto-cc.1 16.00 B
Component of	No Buildroots