Skip to content

Challenge 22: Verify the safety of str iter functions - #706

Open
kasimte wants to merge 3 commits into
model-checking:mainfrom
kasimte:merlin
Open

kasimte wants to merge 3 commits into
model-checking:mainfrom
kasimte:merlin

Merge branch 'main' into merlin

7815120
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 21, 2026 in 13m 18s