8000 iter: add `kani` proof for `next_unchecked` (#280) by 0xllx0 · Pull Request #501 · model-checking/verify-rust-std · GitHub
[go: up one dir, main page]
Skip to content

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

Open
0xllx0 wants to merge 1 commit intomodel-checking:mainfrom
0xllx0:model-checking/iter-next-unchecked
Open

iter: add `kani` proof for `next_unchecked` (#280)#501
0xllx0 wants to merge 1 commit intomodel-checking:mainfrom
0xllx0:model-checking/iter-next-unchecked

Commits

Commits on Oct 10, 2025
0