È arrivata una nuova versione di hevm! Questa versione porta miglioramenti su diversi fronti: ✅ Usabilità migliorata ✅ Prestazioni più veloci ✅ Ispezione del codice più approfondita ✅ Maggiori garanzie di correttezza Un grande passo avanti per il testing formale dell'EVM.