Skip to content
VeriFast (negative)

Challenge 26: verify Rc/Weak safety in alloc::rc with Kani #1205

Sign in to view logs

Challenge 26: verify Rc/Weak safety in alloc::rc with Kani

Challenge 26: verify Rc/Weak safety in alloc::rc with Kani #1205

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

verifast-negative.yml

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