Tue, 03 Dec 2024 20:25:07 UTC | login

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

ID780908
Namecbmc
Version5.25.0
Release1.fc33
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 Time2021-04-24 07:12:56 GMT
Size7.72 MB
c3386c37b08ebc5fbc2808262731ca51
LicenseBSD with advertising
Buildrootf33-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 ascending sort Size
cbmc-32bit-arch-fix.patch522.00 B
cbmc-5.12-fix-f33.patch274.00 B
cbmc-5.25.0.tar.gz7.48 MB
cbmc-5.9-glpk.patch480.00 B
cbmc-catch2.patch571.00 B
cbmc-errno-realpath.patch529.00 B
cbmc-f34-fix-build.patch2.40 KB
cbmc-goto-cc-type-change.patch451.00 B
cbmc-minisat.patch2.83 KB
cbmc-signed-char.patch32.67 KB
cbmc-utils-1.1.tar.gz534.73 KB
cbmc.spec10.48 KB
Component of No Buildroots