elixir-mint / mint

90%

main: 91%

LAST BUILD ON BRANCH test-followups

branch: test-followups

CHANGE BRANCH

x

Reset

Sync Branches

• test-followups
• al/1.18
• al/bump-ci
• al/ci
• al/client-settings
• al/deps
• al/elixir-1.10
• al/elixir-1.11+
• al/fix-leak
• al/fix-tests
• al/http2-logs
• al/improve-defguard
• al/modernize-ci
• al/stream-docs
• al/update-ci-versions
• al/updates
• allow-not-validating-target
• allow_302_for_twitter_integration_test
• andrea/code-coverage
• andrea/dialyzer
• andrea/fix-guard
• andrea/new-ci-versions
• apply-http2-client-settings
• check-http2-content-length
• chore/replace-deprecated-xref-exclude
• clamp-tunnel-timeout
• close_sockets_on_error
• comp-time-optimization
• configurable-test-ports
• connect-tunnel-fixes
• connection-docs-ref
• contributing-and-testing-housekeeping
• dialyzer-without-ignore-file
• docs-for-open
• dont-close-socket-on-recv-timeout
• ericmj/deprecate-read-write
• ericmj/fix-1xx-informational-response
• ericmj/http2-connection-window-size
• ericmj/http2-larger-default-windows
• ericmj/inet4-option
• ericmj/local-h2c-integration-tests
• ericmj/support-elixir-1.12
• ericmj/update-ubuntu
• fix-cannot-build-docker-image-using-podman-compose
• fix-dialyzer
• fix-http1-tests-not-tagged-correctly
• fix-incorrect-ci-badge
• fix-warnings
• fix/446-proxy-host-header
• fix/http10-connect-tunnel
• fix/humize_error_code_custom_error
• forward-proxy-mode
• http-fuzz-properties
• http1-followups
• http1-header-parsing
• http1-line-size-limit
• http1-pipelining
• http1-reason-phrase
• http2-connect-target
• http2-followups
• http2-frame-validation
• http2-response-semantics
• http2-server-push
• https-tunnel-proxies
• ignore-http2-window-update-on-closed-streams
• ip-address-match-fun
• ipv6-host-header
• jv-default-store
• jv-elixir-1-19
• keep-http1-state-after-pipelined-responses
• main
• next_body_chunk
• np/export-error-types
• optimize-http/2-request-creation
• patch-3
• preserve_header_case
• pvthuyen/add-support-for-cacerts-get
• refs/heads/main
• refs/pull/399/merge
• refs/pull/407/merge
• refs/pull/500/merge
• return-responses-in-parse-order
• rewrite-contributing-and-testing-doc
• run-ci-against-erlang-27.1
• stream-http1-headers
• tunnel-target-identity
• unnecessary-rst-stream-2
• unsafe-proxy-opts
• update-deps
• use-hpax-protocol-resize
• use_local_http_bin_in_all_tests
• v1.10
• validate-http2-response-headers
• whatyouhide/issue311
• wm-decompression
• wm-docker-compose
• wm-recv-response
• wrap-tunnel-errors

Build # 5c51742a76ca970b2b89e1fd3f2e8ed0932e001e-PR-523

Build Type

Pull #523

github

Committed by ericmj

Commit Message

Generate transfer codings with chunked first and last in the HTTP/1 fuzz

Responses with more than one transfer coding could come up, as a
generated Transfer-Encoding: chunked plus a random Transfer-Encoding:
gzip header, but no invariant compared the body size Mint delivered with
what the framing gives, so treating the first coding as the framing one
went unnoticed. Chunked bodies are now also sent with "gzip, chunked",
which RFC 9112 section 6.3 frames as chunked, and with "chunked, gzip",
whose body is read until the connection closes and includes the chunk
framing.

Each generated framing carries the body length it gives, and the model
checks the body size of completed responses to the initial requests.
That holds when the bytes are unmutated, every initial request was
issued, and the response and the ones before it are 1.1 responses to
GET or POST with a 200, 404 or 500 status, no 101, and no extra framing
headers. Responses to requests issued mid-scenario aren't checked. A
response read until close takes the rest of the bytes, so no response
after it has a known size.

Pull Request Pull Request #523: Fix fuzz property gaps and a flaky HTTP/2 test

Coverage Stats

1781 of 1970 relevant lines covered (90.41%)

714.4 hits per line