Skip to content

Challenge 29: Kani contracts for Box, convert, and ThinBox - #639

Open
sankalpsthakur wants to merge 5 commits into
model-checking:mainfrom
sankalpsthakur:challenge/29-boxed
Open

Challenge 29: Kani contracts for Box, convert, and ThinBox#639
sankalpsthakur wants to merge 5 commits into
model-checking:mainfrom
sankalpsthakur:challenge/29-boxed

fix: allocate slice without Box::from in from_raw_in harness

4da62f0
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
upstream_test (ubuntu-latest)
succeeded Aug 22, 2026 in 3m 15s