Skip to content

update rc verification harnesses with macros; fix verification failures

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

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

update rc verification harnesses with macros; fix verification failures
e189a7d
Select commit
Loading
Failed to load commit list.

Annotations

1 warning
Test testable simd models
succeeded Apr 14, 2026 in 5m 5s