Achado numa revisão do PR #33.
O caso wd-kill-after-137 só roda onde existe GNU timeout -k; no macOS ele
é skipped e a contagem é preenchida para o total não variar por ambiente
(d86e43c).
Consequência: mutando wd_timed_out para remover o ramo 137, a suíte continua
verde no macOS, com o mesmo NN/NN. Confirmado empiricamente na revisão.
Está correto por desenho — a perna Linux da CI cobre — mas quem valida só
localmente no macOS não enxerga a regressão, e nada no output diz isso.
Sugestão: o resumo da suíte nomear quantos casos foram pulados e por quê, e os
READMEs registrarem que a validação completa exige as duas plataformas.
Achado numa revisão do PR #33.
O caso
wd-kill-after-137só roda onde existe GNUtimeout -k; no macOS eleé
skippede a contagem é preenchida para o total não variar por ambiente(d86e43c).
Consequência: mutando
wd_timed_outpara remover o ramo 137, a suíte continuaverde no macOS, com o mesmo
NN/NN. Confirmado empiricamente na revisão.Está correto por desenho — a perna Linux da CI cobre — mas quem valida só
localmente no macOS não enxerga a regressão, e nada no output diz isso.
Sugestão: o resumo da suíte nomear quantos casos foram pulados e por quê, e os
READMEs registrarem que a validação completa exige as duas plataformas.