Halmos v0.3.0 发布，这是一个用于 EVM 智能合约的符号测试工具，通过符号执行来帮助发现错误和验证合约行为。此版本主要增加了对状态不变性测试的支持，并添加了覆盖率报告、性能改进、更好的求解器支持等功能。Halmos 现在可以查找以 invariant_ 前缀开头的测试，并自动探索目标合约的状态，断言所有不变性条件，并报告任何失败。
invariant_
a16z Crypto