🚨 Реліз нового розширення! 🚨 Розширення Recon тепер безпосередньо інтегрує Halmos! - Усі інваріантні тести, що генеруються химерами, безпосередньо сумісні з інваріантним тестуванням Halmos - Файл Halmos.toml згенерований на "Scaffold" - Запустіть Halmos з розширення - Автоматичне створення Repros та звіту як для модульних, так і для інваріантних тестів - Скребок для колод також можна використовувати з колодами Halmos (також доступний на сайті) Бонус: - Інваріантні тести Scaffold Vyper з розширення - Створюйте імітації контрактів Vyper (клацніть правою кнопкою миші на контракті або артефакті .json)