proofs.rs

Recorded callable

block_padding::PaddedData::unwrap

Named in an author’s verification record. Signature and safety are not independently recorded.

Claims (1)

Claim #1 — Verification of block_padding::PaddedData::unwrap (with kani 0.68.0)
block_padding::PaddedData::unwrap

Bounded PaddedData unwrap behavior in block-padding 0.4.2 · v1 · 0 comments · MasWag