bump kani vesion 0.65.0 #2010

Annotations

2 errors and 6 warnings

Process completed with exit code 1.

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

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

Already linked: /opt/homebrew/Cellar/python@3.13/3.13.5

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

Already linked: /opt/homebrew/Cellar/python@3.13/3.13.5

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