Skip to content
Run GOTO Transcoder (ESBMC)

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

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 #1284

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

goto-transcoder.yml

on: pull_request
Verify contracts with goto-transcoder
Verify contracts with goto-transcoder
Fit to window
Zoom out
Zoom in