🚨 Nova versão de extensão! 🚨 A extensão Recon agora integra diretamente o Halmos! - Todos os testes invariantes gerados por quimera são diretamente compatíveis com o teste invariante Halmos - Arquivo Halmos.toml gerado no "Scaffold" - Execute o Halmos a partir da extensão - Gere automaticamente reproduções e relatórios para testes unitários e invariantes - O raspador de toras também pode ser usado com toras Halmos (também disponível no site) Bônus: - Testes invariantes Scaffold Vyper da extensão - Gerar simulações de contratos Vyper (clique com o botão direito do mouse no contrato ou no .json artefato)