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. 添加了 env* 和 random* 作弊码，总共 300 万个。感谢 @Jayakumar2812 的贡献！

9. 来自未来的酷炫进度指示器

就这样！现在获取它： uv tool install --python 3.13 halmos