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.
Karma está siendo modesto: ¡gran actualización para Halmos!
∎ Pruebas de invariantes con estado (muy potentes)
∎ Grafos de llama (ver lo que Halmos está explorando)
∎ Intérprete 30 veces más rápido (!!)
∎ Seleccione fácilmente muchos solucionadores
∎ Informes de cobertura
∎ Soporte de Solx
∎ Más códigos de trucos
∎ ... y más
15 jul, 07:38
¡Aspectos destacados de la versión 0.3.0 de Halmos!
(recordatorio rápido: halmos es una herramienta de prueba simbólica para el código de bytes EVM que interactúa muy bien con los proyectos de fundición y admite múltiples solucionadores SMT)
1. (Finalmente) agregamos soporte para pruebas invariantes con estado
9.67K
Populares
Ranking
Favoritas