Challenge 2: memory safety of raw-pointer intrinsics - #649

Challenge 2: memory safety of raw-pointer intrinsics#649

stefanzetzsche wants to merge 1 commit into

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

stefanzetzsche:intrinsics-challenge-2stefanzetzsche/verify-rust-std:intrinsics-challenge-2Copy head branch name to clipboard