Skip to content

Cstr verify safety contracts of unsafe functions strlen, from_bytes_with_nul_unchecked #1110

Cstr verify safety contracts of unsafe functions strlen, from_bytes_with_nul_unchecked

Cstr verify safety contracts of unsafe functions strlen, from_bytes_with_nul_unchecked #1110

Annotations

1 warning

Kani List

succeeded Dec 11, 2024 in 9m 58s