Skip to content

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

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

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

Challenge 16: re-baseline adapter harnesses for the new Kani pin

2af3a78
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning and 1 notice
Run KMIR negative proofs
succeeded Oct 14, 2026 in 18m 23s