Populární témata
#
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 je skromná – obrovská aktualizace pro Halmos!
∎ Stavové invariantní testování (velmi výkonné)
∎ Plamenografy (podívejte se, co Halmos zkoumá)
∎ 30x rychlejší tlumočník (!!)
∎ Snadno vyberte mnoho řešitelů
∎ Zprávy o pokrytí
∎ Podpora Solx
∎ více cheatcodes
∎ ... a další

15. 7. 07:38
Halmos v0.3.0 vydání přednosti!
(rychlé připomenutí: halmos je symbolický testovací nástroj pro EVM bytecode, který se dobře propojuje s foundry projekty a podporuje více SMT řešičů)
1. (konečně) jsme přidali podporu pro stavové invariantní testování

9,72K
Top
Hodnocení
Oblíbené