Rubriques tendance
#
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 fait preuve de modestie — énorme mise à jour pour Halmos !
∎ Tests d'invariants d'état (très puissants)
∎ Flamegraphs (voir ce que Halmos explore)
∎ Interpréteur 30x plus rapide (!!!)
∎ Sélection facile de nombreux solveurs
∎ Rapports de couverture
∎ Support Solx
∎ plus de cheatcodes
∎ ... et plus encore
15 juil., 07:38
points forts de la version halmos v0.3.0 !
(rappel rapide : halmos est un outil de test symbolique pour le bytecode EVM qui s'interface bien avec les projets foundry et prend en charge plusieurs solveurs SMT)
1. nous avons (enfin) ajouté le support pour les tests d'invariants d'état.
9,74K
Meilleurs
Classement
Favoris