热门话题
#
Bonk 生态迷因币展现强韧势头
#
有消息称 Pump.fun 计划 40 亿估值发币，引发市场猜测
#
Solana 新代币发射平台 Boop.Fun 风头正劲
Karma 正在保持谦虚——Halmos 的重大更新！
∎ 状态不变性测试（非常强大）
∎ Flamegraphs（查看 Halmos 正在探索的内容）
∎ 30 倍更快的解释器（！！！）
∎ 轻松选择多个求解器
∎ 覆盖报告
∎ Solx 支持
∎ 更多作弊码
∎ ... 还有更多
7月15日 07:38
halmos v0.3.0 发布亮点！
（快速提醒：halmos 是一个用于 EVM 字节码的符号测试工具，与 foundry 项目良好接口，并支持多种 SMT 求解器）
1. 我们（终于）添加了对有状态不变性测试的支持
9.91K
热门
排行
收藏