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.
Karma está siendo modesto: ¡gran actualización para Halmos!
∎ Pruebas de invariante con estado (muy poderosas)
∎ Flamegraphs (vea lo que Halmos está explorando)
∎ Intérprete 30x más rápido (!!!)
∎ Selección fácil de muchos solucionadores
∎ Informes de cobertura
∎ Soporte para Solx
∎ más trucos
∎ ... y más
15 jul, 07:38
¡Destacados de la versión halmos v0.3.0!
(recordatorio rápido: halmos es una herramienta de prueba simbólica para bytecode EVM que se integra bien con proyectos de foundry y admite múltiples solucionadores SMT)
1. (finalmente) añadimos soporte para pruebas de invariantes con estado.
9,77K
Parte superior
Clasificación
Favoritos