kani icon indicating copy to clipboard operation
kani copied to clipboard
verified publisher icon model-checking

Update rust toolchain version for Kani 0.9

Open celinval opened this issue 3 years ago • 0 comments

We should update the rust toolchain version once every release. For 0.9, we will try to update to version nightly-2022-08-16.

celinval avatar Aug 08 '22 22:08 celinval