name: cbmc-viewer
description: CBMC viewer produces a browsable summary of CBMC findings
license_spdx: Apache-2.0
version: 3.2
spec_version: 1.0
home_url: https://github.com/model-checking/cbmc-viewer
news_url: https://libraries.io/pypi/cbmc-viewer/versions.atom
date: 2022-05-06
about_resource: NONE
libraries_io_url: https://libraries.io/pypi/cbmc-viewer?number=3.2
vcs_tool: git
vcs_repository: https://github.com/model-checking/cbmc-viewer
vcs_branch: master
