Skip to content

docs(plan): close S1, the paused listener (#359) - #361

Merged
EdmondDantes merged 1 commit into
mainfrom
close-s1
Sep 30, 2026
Merged

EdmondDantes merged 1 commit into
mainfrom
close-s1

Conversation

@EdmondDantes

Copy link
Copy Markdown
Contributor

Stage S1 is done: php-src #38, php-async #306 and #307, server #360, every platform green. Hand mutants on the php-async diff (rule 28.2): 6 of 10 killed by the asynctest; the survivors are an equivalent mutant, a branch Linux cannot reach, and two branches that only a Windows AF_UNIX listener exercises (new item 34). The Windows accept-rate measurement is item 33.

Mutants: S1, hand 10 by 28.2: 6 killed, 4 survived, 0 not run; base e580c15
@github-actions

Copy link
Copy Markdown
Contributor

Coverage

Total lines: 83.75% → 83.69% (-0.06 pp)

File Baseline Current Δ Touched
src/core/http_connection.c 83.80% 83.56% -0.23 pp
src/http1/http_parser.c 87.98% 87.58% -0.41 pp
src/http3/http3_callbacks.c 86.69% 86.28% -0.42 pp
src/http3/http3_listener.c 76.76% 76.91% +0.15 pp
src/http3/http3_static_response.c 76.67% 75.42% -1.25 pp
src/http_server_class.c 75.99% 75.95% -0.04 pp
src/websocket/ws_session.c 90.61% 90.25% -0.36 pp

@EdmondDantes
EdmondDantes merged commit 5668e32 into main Sep 30, 2026
8 checks passed
@EdmondDantes
EdmondDantes deleted the close-s1 branch September 30, 2026 14:39
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant