Skip to content

Challenge 10: Verify memory safety of String functions with Kani - #702

Open
Talha-Dmr wants to merge 9 commits into
model-checking:mainfrom
Talha-Dmr:challenge-10-string
Open

Challenge 10: Verify memory safety of String functions with Kani#702
Talha-Dmr wants to merge 9 commits into
model-checking:mainfrom
Talha-Dmr:challenge-10-string

Ch10: check the range checks of slice::range directly

89ab0d4
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning and 1 notice
Verify std library
succeeded Oct 14, 2026 in 33s