destaques da versão halmos v0.3.0! (lembrete rápido: halmos é uma ferramenta de teste simbólico para bytecode EVM que se integra bem com projetos foundry e suporta múltiplos solucionadores SMT) 1. nós (finalmente) adicionamos suporte para testes de invariantes com estado

2. relatórios de cobertura (basta executar com --coverage), depois gere o html do resultado ou visualize-o no VSCode

3. flamegraphs meio estranho, mas uma maneira interessante de visualizar uma campanha de teste de invariantes. Basta executar com --flamegraph

5. melhor suporte ao solucionador antes: --solver-command "yices-smt2 --smt2-model-format" depois: --solver yices antes: --solver-command "bitwuzla --produce-models --abstraction" depois: --solver bitwuzla-abs

6. a amizade terminou com z3, yices é o solucionador padrão agora (assim, você não precisa nem dizer `--solver yices` para aproveitar os benefícios)

7. suporte solx se você não sabe o que é solx, @PatrickAlphaC tem a resposta para você

8. adicionados env* e random* cheatcodes, todos os 3 milhões deles. Obrigado @Jayakumar2812 pela contribuição!

9. indicadores de progresso legais do futuro

É isso! Adquira agora: uv tool install --python 3.13 halmos