viewer-2.9

This is CBMC Viewer version 2.9.

To install this release, download the "PIP installation package" below and run

  sudo python3 -m pip install --upgrade cbmc_viewer-*.whl

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.