A Extensão de Reconhecimento agora é totalmente compatível com Equidna, Medusa e Halmos. O mesmo código pode ser usado para executar essas diferentes ferramentas poderosas para quebrar propriedades. A extensão converte automaticamente todas as propriedades quebradas em Foundry, portanto, a depuração é mais fácil. Tão perto de 300 downloads!