Main Site Links:

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

Information for RPM cbmc-5.8-4.fc29.src.rpm

ID	141999
Name	cbmc
Version	5.8
Release	4.fc29
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	2018-06-15 17:51:51 GMT
Size	5.34 MB
SIGMD5	a2dbe44da37dae50a127479ba96b621e
License	BSD with advertising
Buildroot	f29-build-11847-5452
Provides	No Provides
Obsoletes	No Obsoletes
Conflicts	No Conflicts
Requires	bash bison cudd-devel 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 8 of 8 Name Size cbmc-5.8-fix-build.patch 3.43 KB cbmc-5.8-float128.patch 1.58 KB cbmc-5.8-format.patch 571.00 B cbmc-5.8-qbf.patch 4.01 KB cbmc-5.8-vec.patch 497.00 B cbmc-5.8.tar.gz 5.34 MB cbmc.spec 7.26 KB goto-cc.1 14.00 B
Component of	No Buildroots