🚨 Новый релиз расширения! 🚨 Расширение Recon теперь напрямую интегрируется с Halmos! - Все инвариантные тесты, сгенерированные Chimera, напрямую совместимы с тестированием инвариантов Halmos - Файл Halmos.toml создается на "Scaffold" - Запускайте Halmos из расширения - Автоматически генерируйте Repros и отчеты как для юнит-тестов, так и для инвариантных тестов - Лог-скрепер также может использоваться с логами Halmos (также доступно на сайте) Бонус: - Создавайте инвариантные тесты Vyper из расширения - Генерируйте моки контрактов Vyper (Щелкните правой кнопкой мыши на контракте или .json артефакте)