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

Verify deferred iter adapter iterating methods (challenge #16)

17e9794
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
Verify contracts with goto-transcoder
succeeded Jun 17, 2026 in 15m 36s