cbmc-native 6.4.1

Name cbmc-native
Version 6.4.1 (c902db34beb113815f151c4d1f635e745ac79c0c)
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_6.4.1.bb
Layer meta-sca (master branch)
Inherits
  • cmake
  • native
  • nopackages
  • relocatable
  • sca
  • sca-blocklist
  • sca-conv-to-export
  • sca-datamodel
  • sca-description
  • sca-global
  • sca-helper
  • sca-helper-exec
  • sca-log
  • sca-sdk-overrides
  • sca-sdk-script-gen
Dependencies
  • bison-native
  • cmake-native
  • ninja-native
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.4.1 (this recipe)
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