熱門話題
#
Bonk 生態迷因幣展現強韌勢頭
#
有消息稱 Pump.fun 計劃 40 億估值發幣，引發市場猜測
#
Solana 新代幣發射平臺 Boop.Fun 風頭正勁
Karma 正在保持謙虛——Halmos 的重大更新！
∎ 有狀態的不變性測試（非常強大）
∎ 火焰圖（查看 Halmos 正在探索的內容）
∎ 30 倍更快的解釋器（！！！）
∎ 輕鬆選擇多個求解器
∎ 覆蓋報告
∎ Solx 支持
∎ 更多作弊碼
∎ ... 還有更多
7月15日 07:38
halmos v0.3.0 版本亮點！
（快速提醒：halmos 是一個用於 EVM 字節碼的符號測試工具，與 foundry 項目良好接口，並支持多個 SMT 求解器）
1. 我們（終於）添加了對有狀態不變性測試的支持
9.66K
熱門
排行
收藏