Verify safety of slice functions (Challenge 17)#559

Draft

jrey8343 wants to merge 10 commits intomodel-checking:mainfrom

jrey8343:challenge-17-slice

Commits on Feb 7, 2026

Verify safety of slice functions with Kani (Challenge 17)
jrey8343
committed

Commits on Feb 8, 2026

Verify safety of slice iterator functions (Challenge 18)
jrey8343
committed

Commits on Feb 11, 2026

Apply upstream rustfmt formatting via check_rustc.sh --bless
jrey8343
committed
Apply rustfmt and reduce chunk harness MAX_LEN to fix CI timeouts
jrey8343
committed

Commits on Feb 21, 2026

Fix check_count_bytes harness: use kani::assume instead of array mutation
jrey8343
committed