cbmc-native 5.28.0

Name cbmc-native
Version 5.28.0 (a341c11b2e1a5b31c070de19254e954b7ce9be48)
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.28.0.bb
Layer meta-sca (zeus branch)
Inherits
  • cmake
  • native
  • nopackages
  • relocatable
  • sca-description
Dependencies
  • bison-native
  • cmake-native
  • ninja-native
PACKAGECONFIG options

Sources

git://github.com/diffblue/cbmc.git

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.4.1
kirkstone (Yocto Project 4.0) cbmc-native 5.90.0
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 (this recipe)
warrior (Yocto Project 2.7) cbmc-native 5.17.0
thud (Yocto Project 2.6) cbmc-native 5.12