| ID | 184454 | ||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Build | cbmc-5.95.1-4.fc41 | ||||||||||||||||||
| Name | cbmc | ||||||||||||||||||
| Version | 5.95.1 | ||||||||||||||||||
| Release | 4.fc41 | ||||||||||||||||||
| Epoch | |||||||||||||||||||
| Arch | src | ||||||||||||||||||
| Draft | False | ||||||||||||||||||
| 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-05-06 23:14:01 GMT | ||||||||||||||||||
| Size | 8.79 MB | ||||||||||||||||||
| bfdd467fbf45fb3b5fb00c35fd6e5f16 | |||||||||||||||||||
| License | BSD-4-Clause | ||||||||||||||||||
| Buildroot | f41-build-233871-8605 | ||||||||||||||||||
| Provides |
|
||||||||||||||||||
| Obsoletes | No Obsoletes | ||||||||||||||||||
| Conflicts | No Conflicts | ||||||||||||||||||
| Requires |
|
||||||||||||||||||
| Recommends | No Recommends | ||||||||||||||||||
| Suggests | No Suggests | ||||||||||||||||||
| Supplements | No Supplements | ||||||||||||||||||
| Enhances | No Enhances | ||||||||||||||||||
| Files |
|
||||||||||||||||||
| Component of | No Buildroots | ||||||||||||||||||
