🚨 ¡Nueva versión de la extensión! 🚨 ¡La extensión Recon ahora se integra directamente con Halmos! - Todas las pruebas invariantes generadas por chimera son directamente compatibles con las pruebas invariantes de Halmos - Archivo Halmos.toml generado en "Scaffold" - Ejecuta Halmos desde la extensión - Genera automáticamente Repros e informes para pruebas unitarias e invariantes - El scraper de registros también se puede usar con los registros de Halmos (también disponible en el sitio web) Bonus: - Pruebas invariantes de Vyper desde la extensión - Genera mocks de contratos de Vyper (clic derecho en el contrato o el artefacto .json)