Challenge 2: Verify safety of raw-pointer intrinsics with Kani - #668

Challenge 2: Verify safety of raw-pointer intrinsics with Kani#668

v3risec wants to merge 2 commits into

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

v3risec:challenge-2-intrinsicsv3risec/verify-rust-std:challenge-2-intrinsicsCopy head branch name to clipboard