Challenge 13: safety of CStr - #638

Challenge 13: safety of CStr#638

stefanzetzsche wants to merge 2 commits into

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

stefanzetzsche:cstr-challenge-13stefanzetzsche/verify-rust-std:cstr-challenge-13Copy head branch name to clipboard