cbmc-native 5.90.0
| Name | cbmc-native |
|---|---|
| Version | 5.90.0 (6f1454272b7dffc4e37dc969d65653e69c14f904) |
| Summary | C Bounded Model Checker |
| Description | |
| Section | base |
| License | BSD-4-Clause |
| Homepage | https://github.com/diffblue/cbmc |
| Recipe file | recipes-sca/cbmc-native/cbmc-native_5.90.0.bb |
| Layer | meta-sca (kirkstone branch) |
| Inherits |
|
| Dependencies |
|
| PACKAGECONFIG options |
Sources
| git://github.com/diffblue/cbmc.git |
| https://ftp.debian.org/debian/pool/main/m/minisat2/minisat2_2.2.1.orig.tar.gz |
Patches
| Patch | Status |
|---|---|
| files/0001-diable-goto-gcc-regression-tests.patch | Inappropriate [disable feature] |
Other branches
This recipe in other branches of meta-sca:
| Branch | Recipe |
|---|---|
| master | cbmc-native 6.3.1 |
| kirkstone (Yocto Project 4.0) | cbmc-native 5.90.0 (this recipe) |
| honister (Yocto Project 3.4) | cbmc-native 5.55.0 |
| hardknott (Yocto Project 3.3) | cbmc-native 5.55.0 |
| gatesgarth (Yocto Project 3.2) | cbmc-native 5.36.0 |
| dunfell (Yocto Project 3.1) | cbmc-native 5.55.0 |
| zeus (Yocto Project 3.0) | cbmc-native 5.28.0 |
| warrior (Yocto Project 2.7) | cbmc-native 5.17.0 |
| thud (Yocto Project 2.6) | cbmc-native 5.12 |