Bump Kani version to 0.32.0#2602

adpaco merged 3 commits into

model-checking:mainmodel-checking/kani:mainfrom

adpaco:release-0.32.0adpaco/rmc:release-0.32.0Copy head branch name to clipboard