Challenge 4: Verify memory safety of BTreeMap node module with Kani - #684

Challenge 4: Verify memory safety of BTreeMap node module with Kani#684

v3risec wants to merge 5 commits into

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

v3risec:challenge-4-btreev3risec/verify-rust-std:challenge-4-btreeCopy head branch name to clipboard