Skip to content

Challenge 21: Verify safety of StrSearcher with Kani - #621

Open
v3risec wants to merge 4 commits into
model-checking:mainfrom
v3risec:challenge-21-string-searcher
Open

Challenge 21: Verify safety of StrSearcher with Kani#621
v3risec wants to merge 4 commits into
model-checking:mainfrom
v3risec:challenge-21-string-searcher

Merge branch 'main' into challenge-21-string-searcher

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

Annotations

1 warning
Verify core::slice with RAPx
succeeded Aug 31, 2026 in 1m 57s