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.
Halmos a expédié des tests invariants, nous devions expédier un moyen de convertir automatiquement les contre-exemples Halmos en dépôts Foundry.
Cela fonctionne pour les tests sans état et avec état (version Chimera).
Si vous utilisez Create Chimera App ou l'extension Recon, cela fonctionne directement !
30 août 2025
🚨 Le parseur de journaux Halmos est disponible ! 🚨
Convertissez automatiquement les tests Halmos en reproductions Foundry.
Fonctionne pour les tests Halmos (tests de fuzz Foundry) et les tests invariants (utilisant le framework Chimera)
/tools/halmos
Il vous suffit de coller vos journaux Halmos et d'obtenir des reproductions !
1,01K
Meilleurs
Classement
Favoris