Skip to content

viewer-3.10

Latest
Compare
Choose a tag to compare

This is CBMC Viewer version 3.10.

On MacOS, you can install with brew:

  brew install aws/tap/cbmc-viewer

The prefix aws/tap refers to the AWS repository with the brew package.

On all machines, you can install with pip:

  python3 -m pip install cbmc-viewer

For best results, install universal ctags or exuberant ctags with

  • MacOS: brew install universal-ctags or brew install ctags
  • Ubuntu: sudo apt install universal-ctags or sudo apt install ctags
  • Windows: Follow the installation instructions in the universal-ctags or exuberant ctags repository.

The installation of ctags is optional, but without ctags, cbmc-viewer will fail to link some symbols appearing in error traces to their definitions in the source code. The ctags tool has a long history. The original ctags was replaced by exhuberant ctags which was replaced by universal ctags. They all claim to be backwards compatible. We recommend universal ctags.