proofs.rs

Function

httpdate::parse_http_date

pub fn parse_http_date(s: &str) -> Result<std::time::SystemTime, Error>

Documentation on docs.rs

Claims (1)

Claim #4 — Verification of httpdate::parse_http_date (with creusot 0.13.0)
httpdate::parse_http_date

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