Skip to content

viewer-3.0

Choose a tag to compare

View all tags
@aws-viewer-for-cbmc-release-ci aws-viewer-for-cbmc-release-ci released this 22 Apr 23:23
viewer-3.0
af6386e

This is CBMC Viewer version 3.0.

On MacOS, you can install with brew: Run

  brew install aws/tap/cbmc-viewer

On all machines, you can install with pip: Run

  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.

Universal ctags gives the best results.

Assets 3
Loading