Halmos enviou testes invariantes, tivemos que enviar uma forma de converter automaticamente os contraexemplos de Halmos para repositórios do foundry. Isso funciona tanto para testes sem estado quanto para testes com estado (no estilo Chimera). Se você usar o Create Chimera App ou a Recon Extension, isso funciona imediatamente!