🚨 Noua versiune de extensie! 🚨 Extensia Recon integrează acum direct Halmos! - Toate testele invariante generate de himere sunt direct compatibile cu testarea invariantă Halmos - Fișier Halmos.toml generat pe "Scaffold" - Rulați Halmos din extensie - Generați automat repro-uri și rapoarte atât pentru testele unitare, cât și pentru cele invariante - Racleta de bușteni poate fi folosită și cu jurnalele Halmos (disponibile și pe site) Bonus: - Teste invariante Schelă Vyper de la extensie - Generați simulări de contracte Vyper (faceți clic dreapta pe contract sau pe artefactul .json)