Bump Kani version to 0.60.0#3923

qinheping merged 5 commits intomodel-checking:mainmodel-checking/kani:mainfrom

qinheping:release-kani-0.60.0qinheping/kani:release-kani-0.60.0Copy head branch name to clipboard