Skip to content

Verify safety of char-related Searcher methods (Challenge 20) - #537

Open
jrey8343 wants to merge 9 commits into
model-checking:mainfrom
jrey8343:challenge-20-str-pattern
Open

Verify safety of char-related Searcher methods (Challenge 20)#537
jrey8343 wants to merge 9 commits into
model-checking:mainfrom
jrey8343:challenge-20-str-pattern

Document the Challenge 20 haystack bound as an accepted limitation

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

Annotations

1 warning
Run KMIR negative proofs
succeeded Sep 2, 2026 in 13m 30s