🚨 Nuova versione dell'estensione! 🚨 L'estensione Recon ora si integra direttamente con Halmos! - Tutti i test invarianti generati da chimera sono direttamente compatibili con il testing invarianti di Halmos - File Halmos.toml generato su "Scaffold" - Esegui Halmos dall'estensione - Genera automaticamente Repros e Report per i test Unit e Invarianti - Il log scraper può essere utilizzato anche con i log di Halmos (disponibile anche sul sito web) Bonus: - Test invarianti Vyper da Scaffold tramite l'estensione - Genera mock dei contratti Vyper (clicca con il tasto destro sul contratto o sull'artifact .json)