Skip to content

starterkit-2.0
Compare
Choose a tag to compare
@cbmc-starter-kit-release-ci cbmc-starter-kit-release-ci released this 14 Apr 13:54
starterkit-2.0
158633b

This is CBMC Starter Kit version 2.0.
On MacOS, you can install with brew: Run

  brew tap aws/tap
  brew install cbmc-starter-kit

On all machines, you can install with pip: Run

  python3 -m pip install cbmc-starter-kit

and upgrade to the latest version with

  python3 -m pip install --upgrade cbmc-starter-kit
Assets 3
Loading