Skip to content

add bound for macOS env

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

Challenge 27: Verify Arc/Weak safety in alloc::sync with Kani #587

add bound for macOS env
d14619a
Select commit
Loading
Failed to load commit list.

Annotations

1 warning
Verify contracts with goto-transcoder
succeeded May 12, 2026 in 26m 32s