Skip to content

Challenge 22: Kani contracts for str iterators - #646

Open
sankalpsthakur wants to merge 4 commits into
model-checking:mainfrom
sankalpsthakur:challenge/22-str-iter
Open

Challenge 22: Kani contracts for str iterators#646
sankalpsthakur wants to merge 4 commits into
model-checking:mainfrom
sankalpsthakur:challenge/22-str-iter

Challenge 22: rustfmt str iterator contracts

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

Annotations

1 warning
build
succeeded Aug 20, 2026 in 6m 53s