January 29, 2024 Follow along on a google colab: https://colab.research.google.com/github/philzook58/philzook58.github.io/blob/master/pynb/cbmc_tut.ipynb %%bash # download and install CBMC wget https://github.com/diffblue/cbmc/releases/download/cbmc-5.95.1/ubuntu-20.04-cbmc-5.95.1-Linux.deb apt-get install bash-completion dpkg -i ubuntu-20.04-cbmc-5.95.1-Linux.deb Whenever I’m tinkering around in C, I would love for some easy way to check my work. There is a variety of options (turn on all warni...