🚨 Nova Lançamento de Extensão! 🚨 A extensão Recon agora integra diretamente o Halmos! - Todos os testes invariantes gerados por chimera são diretamente compatíveis com o Teste Invariante do Halmos - Arquivo Halmos.toml gerado em "Scaffold" - Execute o Halmos a partir da Extensão - Gere automaticamente Repros e Relatórios para Testes de Unidade e Invariantes - O scraper de logs também pode ser usado com logs do Halmos (também disponível no site) Bônus: - Testes Invariantes Vyper do Scaffold a partir da Extensão - Gere mocks de Contratos Vyper (Clique com o botão direito no contrato ou no artefato .json)