Skip to content

Verify safety of slice iterator functions with Kani (Challenge 18) - #560

Draft
jrey8343 wants to merge 1 commit into
model-checking:mainfrom
jrey8343:challenge-18-slice-iter
Draft

Verify safety of slice iterator functions with Kani (Challenge 18)#560
jrey8343 wants to merge 1 commit into
model-checking:mainfrom
jrey8343:challenge-18-slice-iter

Commits

Commits on Mar 17, 2026