Challenge 12: safety and correctness of NonZero - #637

Challenge 12: safety and correctness of NonZero#637

stefanzetzsche wants to merge 1 commit into

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

stefanzetzsche:nonzero-challenge-12stefanzetzsche/verify-rust-std:nonzero-challenge-12Copy head branch name to clipboard