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

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

1154179

Name

cbmc

Version

5.95.1

Release

1.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

2023-12-18 14:33:53 GMT

Size

8.78 MB

SIGMD5

979c9c9681fdec29dc73bb7229339d94

License

BSD-4-Clause

Buildroot

f40-build-764419-122902

Provides

cbmc = 5.95.1-1.fc40

cbmc-debuginfo = 5.95.1-1.fc40

cbmc-debugsource = 5.95.1-1.fc40

cbmc-doc = 5.95.1-1.fc40

cbmc-utils = 5.95.1-1.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	2.37 KB
cbmc-utils-1.3.tar.gz	535.67 KB
cbmc.spec	12.37 KB

Component of

No Buildroots

Main Site Links:

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