Вышел мажорный релиз foundry — 1.8.0
habr.comСегодня, 27 августа 2026 года официально стал доступен новый мажорный релиз foundry, дополненный одной новой утилитой. В этом релизе добавили символьные вычисления с использованием локального Z3 SMT-решателя, улучшили фаззинг-тестирование, впервые не опубликовали релиз через npm и многое другое, что делает данный релиз одним из самых важных релизов за последние год или даже два.
Далее главные изменения в релизе и почему у вас могли перестать проходить тесты при обновлении. Фаззинг и тестирование Основные изменения релиза сосредоточены именно в этой области, так были добавлены:Символьные вычисления с использованием локального решателя (по умолчанию Z3 SMT).
