основные моменты релиза halmos v0.3.0! (быстрое напоминание: halmos — это инструмент символического тестирования для байт-кода EVM, который хорошо взаимодействует с проектами foundry и поддерживает несколько SMT-решателей) 1. мы (наконец-то) добавили поддержку тестирования состояний инвариантов

2. отчеты о покрытии (просто запустите с --coverage), затем либо сгенерируйте html-результат, либо визуализируйте его в VSCode

3. флеймграфы довольно странно, но интересный способ визуализировать кампанию тестирования инвариантов. Просто запустите с --flamegraph

5. лучшее поддержка решателя до: --solver-command "yices-smt2 --smt2-model-format" после: --solver yices до: --solver-command "bitwuzla --produce-models --abstraction" после: --solver bitwuzla-abs

6. дружба закончилась с z3, теперь решателем по умолчанию является yices (так что вам даже не нужно говорить `--solver yices`, чтобы наслаждаться преимуществами)

7. поддержка solx если вы не знаете, что такое solx, @PatrickAlphaC вам поможет

8. добавлены cheatcodes env* и random*, все 3 миллиона из них. Спасибо @Jayakumar2812 за вклад!

9. классные индикаторы прогресса из будущего

Вот и всё! Установите сейчас: uv tool install --python 3.13 halmos