Tópicos em alta
#
Bonk Eco continues to show strength amid $USELESS rally
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
#
Boop.Fun leading the way with a new launchpad on Solana.
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

14 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
Melhores
Classificação
Favoritos