Skip to content

Verify iter adapter unsafe methods + safe abstractions (challenge #16)#602

Open
MavenRain wants to merge 2 commits into
model-checking:mainfrom
MavenRain:16-iter-adapters
Open

Verify iter adapter unsafe methods + safe abstractions (challenge #16)#602
MavenRain wants to merge 2 commits into
model-checking:mainfrom
MavenRain:16-iter-adapters

Commits

Commits on Jun 17, 2026