Skip to content

Challenge 29: Verify the safety of Box and ThinBox in alloc::boxed - #669

Open
kasimte wants to merge 2 commits into
model-checking:mainfrom
kasimte:challenge-29
Open

Challenge 29: Verify the safety of Box and ThinBox in alloc::boxed#669
kasimte wants to merge 2 commits into
model-checking:mainfrom
kasimte:challenge-29

Trim width-duplicate harnesses to tighten the diff

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

Annotations

1 warning
Verify core::slice with RAPx
succeeded Sep 15, 2026 in 2m 20s