fuzzing adalah semua pembicaraan sejak peretasan yETH (setidaknya dalam pikiran saya) - @claudeai baru saja menulis tes fuzz pengecoran yang sempurna untuk saya dan menemukan kasus tepi yang terlewatkan oleh seluruh rangkaian pengujian besar-besaran Invariannya sederhana, 'jumlah (utang harta karun) >= total_debt', jika tidak, 'total_debt' bisa menjadi negatif jika semua harta karun membayar kembali sehingga tidak mungkin untuk menutup harta karun terakhir Tangkapan layar tes fuzz terlampir dan tautan ke tes di komentar pertama, untuk kenyamanan Anda Beri tahu Claude untuk fuzz yo code!