Skip to content

iter: add `kani` proof for `next_unchecked` (#280)

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

iter: add kani proof for next_unchecked (#280) #501

iter: add `kani` proof for `next_unchecked` (#280)
e68ac58
Select commit
Loading
Failed to load commit list.