name: cbmc-starter-kit
description: CBMC starter kit makes it easy to add CBMC verification to a software project
license_spdx: Apache-2.0
version: 2.8.5
spec_version: 1.0
home_url: https://github.com/model-checking/cbmc-starter-kit
news_url: https://libraries.io/pypi/cbmc-starter-kit/versions.atom
date: 2022-12-21
about_resource: NONE
libraries_io_url: https://libraries.io/pypi/cbmc-starter-kit?number=2.8.5
vcs_tool: git
vcs_repository: https://github.com/model-checking/cbmc-starter-kit
vcs_branch: master
