Skip to content
Back to pull request #118

Add safety preconditions to alloc/src/alloc.rs #1139

Sign in to view logs

Add safety preconditions to alloc/src/alloc.rs

Add safety preconditions to alloc/src/alloc.rs #1139

Annotations

1 warning

Kani List

Kani List
succeeded Dec 13, 2024 in 8m 51s