Bump Kani version #2336

Annotations

2 errors and 6 warnings

Process completed with exit code 1.

diffblue/cbmc/cbmc@6.8.0 6.8.0 is already installed and up-to-date. To reinstall 6.8.0, run: brew reinstall cbmc@6.8.0

z3 4.15.4 is already installed and up-to-date. To reinstall 4.15.4, run: brew reinstall z3

Already linked: /opt/homebrew/Cellar/python@3.14/3.14.2

python@3.14 3.14.2 is already installed and up-to-date. To reinstall 3.14.2, run: brew reinstall python@3.14

Already linked: /opt/homebrew/Cellar/python@3.14/3.14.2

python@3.14 3.14.2 is already installed and up-to-date. To reinstall 3.14.2, run: brew reinstall python@3.14