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.
Halmos đã gửi các bài kiểm tra bất biến, chúng tôi phải gửi một cách để tự động chuyển đổi các phản ví dụ của Halmos thành các kho lưu trữ foundry.
Điều này hoạt động cho cả bài kiểm tra không trạng thái và có trạng thái (theo phong cách Chimera).
Nếu bạn sử dụng Create Chimera App hoặc Recon Extension, điều này hoạt động ngay lập tức!

30 thg 8, 2025
🚨 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,04K
Hàng đầu
Thứ hạng
Yêu thích