Challenge 13: contracts and proofs for CStr trait implementations and safe methods - #670

Challenge 13: contracts and proofs for CStr trait implementations and safe methods#670

kasimte wants to merge 6 commits into

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

kasimte:challenge-13-cstrkasimte/verify-rust-std:challenge-13-cstrCopy head branch name to clipboard