- Rust 97.1%
- Shell 2.9%
Jonatas Oliveira
725a9de9f4
Um teto sobre zero mutantes aprova sem medir. Foi o que aconteceu no battleship-client: as exclusões do .cargo/mutants.toml cobriam o crate inteiro, o cargo-mutants dizia "Found 0 mutants" e a checagem imprimia `sobreviventes=0 teto=0` -- que se lê como perfeição e significa silêncio. O hook levava 2 segundos e não verificava nada. Agora, se a soma de caught, missed, unviable e timeout for zero, a etapa falha e diz o que fazer: encolher as exclusões ou remover o .mutants-teto. Um portão que aprova sem medir é pior do que portão nenhum, porque dá a impressão de cobertura que não existe. Co-Authored-By: Claude Opus 5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01PhdPjHUuVhXaitwT4mG53t |
||
|---|---|---|
| .cargo | ||
| .githooks | ||
| .woodpecker | ||
| src | ||
| tests | ||
| .gitignore | ||
| .mutants-teto | ||
| Cargo.lock | ||
| Cargo.toml | ||
| LICENSE | ||
| README.md | ||
Labirinto
Jogo de labirinto em terminal com interface ratatui, escrito como
protótipo de curso de Rust.
Um labirinto é gerado a cada partida e você o percorre com WASD ou as
setas até a saída. H abre a ajuda, ESPAÇO pausa, R recomeça e Q
sai.
cargo run
O que este projeto exercita
- Padrão observador:
EventManagere o traitGameObserverdesacoplam o jogo de quem reage a ele.GameStatseConsoleLoggersão observadores; a interface não precisa saber que existem. - Geração e busca: o labirinto é gerado com garantia de solução, e
find_pathfaz busca em largura — que devolve o caminho mais curto e é verificada por propriedade. - Tipos que impedem erro:
Positionsó existe com coordenadas não negativas, emove_in_directiondevolveOptionem vez de estourar umusizena borda. - Interface testável:
App::uidesenha numFramequalquer, então os testes renderizam numTestBackende conferem o que saiu.
Testes
cargo test # 480 testes
cargo test --test spider # propriedades (proptest)
cargo test --test mutantes # testes nascidos do cargo-mutants
cargo mutants # teto de 35 sobreviventes, todos documentados
O teto de mutação não é zero de propósito: os sobreviventes restantes
estão listados no fim de tests/mutantes/main.rs com o motivo de cada
um — mutantes equivalentes, código inalcançável e uma função que exige
terminal de verdade. Dois deles são achado sobre o próprio código: as
comparações de dy dentro do ramo dx == 0 de hint_direction nunca
são alcançadas.
Verificações antes do commit
O .githooks/pre-commit roda aqui o que o Woodpecker roda no servidor. Ele
é gerado a partir do .woodpecker/pipelines.yml deste repositório, então os
comandos não podem divergir do CI. Ative uma vez por clone -- o hook é
versionado, a configuração que aponta para ele não é:
git config core.hooksPath .githooks
Roda tudo a cada git commit, do mais barato ao mais caro, e para no
primeiro que falhar: lint do pipeline, cargo fmt --check, clippy com -D warnings, build, testes, documentação sem buracos, build release, cobertura
(piso 95%), auditoria de dependências e a perna MSRV 1.90.
O teste de mutação só existe aqui. Ele saiu do pipeline: mutação
recompila o crate uma vez por mutante, e no runner isso eram dezenas de
minutos por push, num passo que ninguém acompanha enquanto espera. O teto
continua em .mutants-teto, versionado -- a regra não afrouxou, mudou de
lugar. É de longe a etapa mais lenta; para pular só ela:
PRE_COMMIT_SEM_MUTACAO=1 git commit ...
Para pular tudo, git commit --no-verify. Um hook que não se pode pular é
um hook que todo mundo desativa.
Licença
GPL-3.0-or-later. Veja LICENSE.