Subiecte populare
#
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 este modestă – actualizare uriașă pentru Halmos!
∎ Testare invariantă cu stare (foarte puternică)
∎ Flamegraphs (vezi ce explorează Halmos)
∎ Interpret de 30 de ori mai rapid (!!)
∎ Selectați cu ușurință mai multe rezolvatoare
∎ Rapoarte de acoperire
∎ Suport Solx
∎ Mai multe cheatcodes
∎ ... și multe altele
15 iul., 07:38
Repere ale lansării Halmos v0.3.0!
(memento rapid: halmos este un instrument de testare simbolică pentru bytecode EVM care interacționează frumos cu proiectele de turnătorie și acceptă mai multe rezolvări SMT)
1. Am adăugat (în sfârșit) suport pentru testarea invariantă cu stare
9,67K
Limită superioară
Clasament
Favorite