Fri, 14 Jun 2024 08:07:10 UTC | login

Information for RPM cbmc-5.9-1.fc29.src.rpm

ID155877
Namecbmc
Version5.9
Release1.fc29
Epoch
Archsrc
SummaryBounded Model Checker for ANSI-C and C++ programs
DescriptionCBMC 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 Time2018-06-29 00:08:22 GMT
Size5.97 MB
e8b5972f23b47130278dbb9ee7549dcd
LicenseBSD with advertising
Buildrootf29-build-15298-7037
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 7 of 7
Name ascending sort Size
cbmc-5.9-fix-build.patch2.74 KB
cbmc-5.9-format.patch564.00 B
cbmc-5.9-glpk.patch480.00 B
cbmc-5.9-qbf.patch4.85 KB
cbmc-5.9.tar.gz5.97 MB
cbmc.spec7.16 KB
goto-cc.114.00 B
Component of No Buildroots