proofs.rs

Trait method

<httpdate::HttpDate as FromStr>::from_str

impl FromStr for HttpDate
pub fn from_str(s: &str) -> Result<HttpDate, Error>

Documentation on docs.rs

Claims (1)

Claim #2 — Verification of <httpdate::HttpDate as FromStr>::from_str (with creusot 0.13.0)
<httpdate::HttpDate as FromStr>::from_str

httpdate 1.0.3: correct HTTP-date parsing and bounded formatting · v2 · 0 comments · keiichiw