Tendencias del momento
#
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 a repositorios de foundry.
¡Esto funciona tanto para pruebas sin estado como con estado (con sabor a Chimera).
Si usas Create Chimera App o la Recon Extension, ¡esto funciona directamente!
30 ago 2025
🚨 ¡El Analizador de Registros de Halmos ya está disponible! 🚨
Convierte automáticamente las Pruebas de Halmos en Reproducciones de Foundry.
Funciona tanto para las Pruebas de Halmos (Pruebas de Fuzz de Foundry) como para las Pruebas Invariantes (usando el marco Chimera)
/herramientas/halmos
¡Simplemente pega tus registros de Halmos y obtén reproducciones!
1,05K
Parte superior
Clasificación
Favoritos