cbmc-5.95.1-4.fc40.src.rpm | RPM Info

Information for RPM cbmc-5.95.1-4.fc40.src.rpm

1254682

Name

cbmc

Version

5.95.1

Release

4.fc40

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

2024-03-20 07:56:54 GMT

Size

8.79 MB

SIGMD5

826d8d331487abd2ec83eb6367a08b76

License

BSD-4-Clause

Buildroot

f40-build-793306-138800

Provides

cbmc = 5.95.1-4.fc40

cbmc-debuginfo = 5.95.1-4.fc40

cbmc-debugsource = 5.95.1-4.fc40

cbmc-doc = 5.95.1-4.fc40

cbmc-utils = 5.95.1-4.fc40

Obsoletes

No Obsoletes

Conflicts

No Conflicts

Requires

bison

cmake

doxygen

flex

gcc-c++

glpk-devel

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

Name	Size
1 through 7 of 7
cbmc-5.9-glpk.patch	479.00 B
cbmc-5.95.1.tar.gz	8.65 MB
cbmc-add-cmd-line-arg.patch	11.38 KB
cbmc-disable-werror.patch	2.18 KB
cbmc-f40-fix-build.patch	43.94 KB
cbmc-utils-1.3.tar.gz	535.67 KB
cbmc.spec	12.77 KB

Component of

No Buildroots

Main Site Links:

Information for RPM cbmc-5.95.1-4.fc40.src.rpm