Bump Kani version to 0.61.0#3989

carolynzech merged 4 commits into

model-checking:mainmodel-checking/kani:mainfrom

carolynzech:kani-version-0.61.0carolynzech/kani:kani-version-0.61.0Copy head branch name to clipboard