Challenge 26: verify Rc/Weak safety in alloc::rc with Kani#582

v3risec wants to merge 10 commits intomodel-checking:mainmodel-checking/verify-rust-std:mainfrom

v3risec:challenge-26-rcv3risec/verify-rust-std:challenge-26-rcCopy head branch name to clipboard