熱門話題
#
Bonk 生態迷因幣展現強韌勢頭
#
有消息稱 Pump.fun 計劃 40 億估值發幣，引發市場猜測
#
Solana 新代幣發射平臺 Boop.Fun 風頭正勁
對Halmos進行了絕對巨大的升級。開發者經驗和漏洞發現能力的驚人改進。
真的很期待能夠親自參與這個項目。
大力讚揚@0xkarmacoma!
7月15日 07:38
halmos v0.3.0 版本亮點！
（快速提醒：halmos 是一個用於 EVM 字節碼的符號測試工具，與 foundry 項目良好接口，並支持多個 SMT 求解器）
1. 我們（終於）添加了對有狀態不變性測試的支持
1.24K
熱門
排行
收藏