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

Commits

  1. Commits on Aug 3, 2026

  2. Commits on Aug 25, 2026

  3. Commits on Aug 26, 2026

  4. Commits on Aug 31, 2026