cbmc-native 5.17.0

Name cbmc-native
Version 5.17.0 (1c4e0c495dab131f88f0ab0710c3bba4e9c61097)
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.17.0.bb
Layer meta-sca (warrior 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

None

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
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 (this recipe)
thud (Yocto Project 2.6) cbmc-native 5.12