Skip to content

Challenge 29: Verify safety of Box functions#573

Open
Samuelsills wants to merge 3 commits into
model-checking:mainfrom
Samuelsills:challenge-29-box
Open

Challenge 29: Verify safety of Box functions#573
Samuelsills wants to merge 3 commits into
model-checking:mainfrom
Samuelsills:challenge-29-box

Make verify_into_array actually exercise Box::into_array

1c9c2b1
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
Verify std library
succeeded Apr 25, 2026 in 31s