Populaire onderwerpen
#
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 is bescheiden — enorme update voor Halmos!
∎ Stateful invariant testing (zeer krachtig)
∎ Flamegraphs (zie wat Halmos aan het verkennen is)
∎ 30x snellere interpreter (!!!)
∎ Gemakkelijk meerdere oplosser selecteren
∎ Coverage rapporten
∎ Solx ondersteuning
∎ meer cheatcodes
∎ ... en meer
15 jul, 07:38
halmos v0.3.0 release hoogtepunten!
(een snelle herinnering: halmos is een symbolische testtool voor EVM bytecode die mooi samenwerkt met foundry-projecten en meerdere SMT-oplossers ondersteunt)
1. we hebben (eindelijk) ondersteuning toegevoegd voor stateful invariant testing
9,69K
Boven
Positie
Favorieten