С гордостью сообщаем, что Invariant Suite, который мы написали для Superform, теперь доступен для публики! Этот пакет является результатом 4-недельного тестирования инвариантов и 3-недельного аудита, которые проходили параллельно. Тысячи строк кода, протестировано 120 свойств. Ссылка на нашу страницу аудитов!