Challenge 1 status update#433

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

AlexLB99:complete-transmuteAlexLB99/verify-rust-std:complete-transmuteCopy head branch name to clipboard