Bump Kani version to 0.52.0#3224

tautschnig merged 1 commit intomodel-checking:mainmodel-checking/kani:mainfrom

tautschnig:release-kani-0.52.0tautschnig/kani:release-kani-0.52.0Copy head branch name to clipboard