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