Temas en tendencia
#
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 envió pruebas invariantes, tuvimos que enviar una forma de convertir automáticamente los contraejemplos de Halmos en repositorios de fundición.
Esto funciona tanto para pruebas sin estado como con estado (sabor a quimera).
Si usa la aplicación Create Chimera o la extensión Recon, ¡esto funciona de inmediato!
30 ago, 00:43
🚨 ¡El analizador de registros Halmos está disponible! 🚨
Convierte automáticamente las pruebas de Halmos en reproducciones de Foundry.
Funciona tanto para pruebas Halmos (pruebas de pelusa de fundición) como para pruebas invariantes (utilizando el marco Chimera)
/herramientas/halmos
¡Simplemente pegue sus registros de Halmos y obtenga reproducciones!
1.01K
Populares
Ranking
Favoritas