Chủ đề thịnh hành
#
Bonk Eco continues to show strength amid $USELESS rally
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
#
Boop.Fun leading the way with a new launchpad on Solana.
🚨 Trình phân tích nhật ký Halmos đã ra mắt! 🚨
Tự động chuyển đổi các bài kiểm tra Halmos thành các bản tái hiện Foundry.
Hoạt động cho cả Bài kiểm tra Halmos (Bài kiểm tra Fuzz của Foundry) và Bài kiểm tra Bất biến (sử dụng khung Chimera)
/tools/halmos
Chỉ cần dán nhật ký Halmos của bạn và nhận các bản tái hiện!
1,83K
Hàng đầu
Thứ hạng
Yêu thích