Challenge 4: bounded Kani PROBEs on btree::node's copy, relink and rebalancing helpers - #666

Challenge 4: bounded Kani PROBEs on btree::node's copy, relink and rebalancing helpers#666

ivmat wants to merge 4 commits into

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

ivmat:challenge-4-btree-v2ivmat/verify-rust-std:challenge-4-btree-v2Copy head branch name to clipboard