Расширение Recon теперь полностью совместимо с Echidna, Medusa и Halmos. Один и тот же код можно использовать для запуска этих различных мощных инструментов для проверки свойств. Расширение автоматически конвертирует все сломанные свойства в Foundry, так что отладка становится проще. Так близко к 300 загрузкам!