cbmc-native 5.12

Name cbmc-native
Version 5.12 (d51243d346350127ecb269f1e546cbd850ef6955)
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.12.bb
Layer meta-sca (thud branch)
Inherits
  • cmake
  • native
  • nopackages
  • relocatable
  • sca-sanity
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
thud (Yocto Project 2.6) cbmc-native 5.12 (this recipe)