Skip to content

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

Open
jrey8343 wants to merge 12 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 12 commits into
model-checking:mainfrom
jrey8343:challenge-20-str-pattern

Write next_match_back's width clause without an addition

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

Annotations

1 warning
build
succeeded Sep 13, 2026 in 7m 1s