Add harnesses for safety of primitive conversions#233

tautschnig merged 11 commits intomodel-checking:mainmodel-checking/verify-rust-std:mainfrom

shoyuvanilla-verify-rust-std:challenge-14shoyuvanilla-verify-rust-std/verify-rust-std:challenge-14Copy head branch name to clipboard