Challenge 18: Kani contracts for slice iterators - #644

Closed

sankalpsthakur wants to merge 8 commits into

model-checking:mainfrom

sankalpsthakur:challenge/18-slice-iter

Commits on Aug 20, 2026

Challenge 18: Kani contracts for slice iterators
sankalpsthakur
committed
a1347c2
Fix extra brace in iterator! macro that broke rustc parse
sankalpsthakur
committed
4109b74
Fix Kani partition 3 CStr strlen failure
sankalpsthakur
committed
0761c30
Fix Kani IterMut<char>::post_inc_start contract harness
sankalpsthakur
committed
ed5bb5d
Challenge 18: bound splitn adapter harnesses under CBMC timeout
sankalpsthakur
committed
b9a20f5

Commits on Aug 21, 2026