Skip to content

Challenge 29: Verify Boxed safety in alloc::boxed, alloc::boxed::convert and alloc::boxed::thin with Kani - #589

Open
v3risec wants to merge 9 commits into
model-checking:mainfrom
v3risec:challenge-29-boxed
Open

Challenge 29: Verify Boxed safety in alloc::boxed, alloc::boxed::convert and alloc::boxed::thin with Kani#589
v3risec wants to merge 9 commits into
model-checking:mainfrom
v3risec:challenge-29-boxed

Strengthen Box contracts and verification harnesses

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

Annotations

1 error and 1 warning
Kani List
succeeded Aug 26, 2026 in 1h 16m 48s