Skip to content

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

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

Verify safety of iterator adapter functions (Challenge 16)#549
kasimte wants to merge 5 commits into
model-checking:mainfrom
kasimte:challenge-16

Address review feedback: real loop invariants and contract documentation

000221a
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
Verify std library
succeeded Aug 17, 2026 in 31s