Skip to content

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

Open
v3risec wants to merge 4 commits into
model-checking:mainfrom
v3risec:challenge-4-btree
Open

Challenge 4: Verify memory safety of BTreeMap node module with Kani#684
v3risec wants to merge 4 commits into
model-checking:mainfrom
v3risec:challenge-4-btree

Reduce Kani resource usage for B-tree internal harnesses

f8d6111
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning and 1 notice
Kani Autoharness Analyzer
succeeded Sep 21, 2026 in 44m 22s