Destaques da versão do Halmos v0.3.0! (lembrete rápido: halmos é uma ferramenta de teste simbólica para bytecode EVM que interage bem com projetos de fundição e suporta vários solucionadores SMT) 1. Nós (finalmente) adicionamos suporte para testes invariáveis stateful
2. relatórios de cobertura (basta executar com --coverage) e, em seguida, genhtml o resultado ou visualizá-lo no VSCode
3. Flamegraphs meio estranho, mas uma maneira interessante de visualizar uma campanha de teste invariável. 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 (então você nem precisa dizer '--solver yices' para aproveitar os benefícios)
7. Suporte Solx Se você não sabe o que é Solx, @PatrickAlphaC tem tudo o que você precisa
Patrick Collins
Patrick Collins14 de jul., 20:40
Como resolver "pilha muito profunda" em solidez.
8. Adicionado env * e aleatório * cheatcodes, todos os 3 milhões deles. Obrigado @Jayakumar2812 pela contribuição!
9. Indicadores de progresso legais do futuro
É isso! Adquira agora: instalação da ferramenta uv --python 3.13 halmos
27,29K