Challenge 26: Verify safety of Rc functions#574

Samuelsills wants to merge 2 commits intomodel-checking:mainmodel-checking/verify-rust-std:mainfrom

Samuelsills:challenge-26-rcSamuelsills/verify-rust-std:challenge-26-rcCopy head branch name to clipboard