Skip to content

Verify safety of iterator adapter functions (Challenge 16) - #549

Open
kasimte wants to merge 21 commits into
model-checking:mainfrom
kasimte:challenge-16
Open

kasimte wants to merge 21 commits into
model-checking:mainfrom
kasimte:challenge-16

Merge branch 'main' into challenge-16

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

Annotations

1 warning and 1 notice
build
succeeded Oct 21, 2026 in 5m 27s