halmos v0.3.0 版本亮點！ （快速提醒：halmos 是一個用於 EVM 字節碼的符號測試工具，與 foundry 項目良好接口，並支持多個 SMT 求解器） 1. 我們（終於）添加了對有狀態不變性測試的支持

2. 覆蓋率報告（只需使用 --coverage 運行），然後可以使用 genhtml 生成結果或在 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. 添加了 env* 和 random* 作弊碼，總共 300 萬個。感謝 @Jayakumar2812 的貢獻！

9. 來自未來的酷炫進度指示器

就這樣！立即獲取： uv tool install --python 3.13 halmos