Skip to content

Verify safety of str iter functions (Challenge 22) - #557

Open
jrey8343 wants to merge 44 commits into
model-checking:mainfrom
jrey8343:challenge-22-str-iter
Open

Verify safety of str iter functions (Challenge 22)#557
jrey8343 wants to merge 44 commits into
model-checking:mainfrom
jrey8343:challenge-22-str-iter

Correct the measured figures in the Challenge 22 harness comments

56d8b2e
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
Run KMIR proofs
succeeded Sep 13, 2026 in 25m 41s