Popularne tematy
#
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.
Karma jest skromna — ogromna aktualizacja dla Halmos!
∎ Testowanie inwariantów stanowych (bardzo potężne)
∎ Flamegraphs (zobacz, co Halmos bada)
∎ 30x szybszy interpreter (!!!)
∎ Łatwy wybór wielu rozwiązań
∎ Raporty pokrycia
∎ Wsparcie dla Solx
∎ więcej cheatcode'ów
∎ ... i więcej
15 lip, 07:38
najważniejsze informacje o wydaniu halmos v0.3.0!
(szybkie przypomnienie: halmos to narzędzie do testowania symbolicznego dla kodu bajtowego EVM, które dobrze współpracuje z projektami foundry i obsługuje wiele solverów SMT)
1. (w końcu) dodaliśmy wsparcie dla testowania inwariantów stanowych
9,74K
Najlepsze
Ranking
Ulubione