Challenge 2: Kani contracts for raw-pointer core::intrinsics - #643

Challenge 2: Kani contracts for raw-pointer core::intrinsics#643

sankalpsthakur wants to merge 5 commits into

model-checking:mainmodel-checking/verify-rust-std:mainfrom

sankalpsthakur:challenge/02-intrinsicssankalpsthakur/verify-rust-std:challenge/02-intrinsicsCopy head branch name to clipboard