Skip to content
VeriFast (negative)

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

Sign in to view logs

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

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

This workflow is awaiting approval from a maintainer in #589
Triggered via pull request April 26, 2026 07:26
@v3risecv3risec
synchronize #589
v3risec:challenge-29-boxed
Status Action required
Total duration –
Artifacts –
This workflow is awaiting approval from a maintainer in #589

verifast-negative.yml

on: pull_request
Verify std library
Verify std library
Fit to window
Zoom out
Zoom in