🚨 ¡Nueva versión de extensión! 🚨 ¡La extensión Recon ahora integra directamente a Halmos! - Todas las pruebas invariantes generadas por quimeras son directamente compatibles con las pruebas invariantes de Halmos - Archivo Halmos.toml generado en "Scaffold" - Ejecute Halmos desde la extensión - Genere automáticamente reproducciones e informes para pruebas unitarias e invariantes - El raspador de troncos también se puede utilizar con troncos Halmos (también disponible en el sitio web) Sobresueldo: - Pruebas invariantes de andamios Vyper de la extensión - Generar simulacros de contratos de Vyper (clic derecho en el contrato o en el artefacto .json)