elixir-mint / mint / ea3de223e5c78be41be7e74dd942fc2ce183c1a9-PR-520

90%

main: 91%

Build Type

Pull #520

github

Committed by ericmj

Commit Message

Check flow control and body sizes in the HTTP/2 fuzz property

Scenarios now vary the request method, the client settings, the
connection window and its refill threshold, and the server's handshake
settings. The server keeps its own view of the connection window from
the DATA payloads it sent and the WINDOW_UPDATE frames it received, and
the property checks it against Mint's window after every segment, that
increments are within 1..2^31-1, that a completed response's body size
matches a valid content-length, that HEAD, 204 and 304 responses have no
body, and that open_request_count/1 matches the unfinished requests.

Pull Request Pull Request #520: Add fuzz properties for HTTP/1 and HTTP/2 connections

Coverage Stats

112 of 114 new or added lines in 1 file covered. (98.25%)

36 existing lines in 1 file now uncovered.

1763 of 1951 relevant lines covered (90.36%)

696.61 hits per line