Pada pengujian berbasis fuzzing / properti: - Ada sesuatu yang istimewa tentang hanya melemparkan ribuan dan ribuan input pada suatu fungsi dan melihat bahwa itu bekerja dengan baik. - Ini adalah Bukti Kerja yang setara dengan Verifikasi Formal - Beberapa hal yang memuaskan seperti meningkatkan jumlah iterasi pada pengujian berbasis properti generatif dan menghasilkan invarian untuk ditegaskan. - Tanpa perpustakaan pengujian berbasis properti, saya mungkin tidak akan pernah sepenuhnya beralih ke Rust, bertahun-tahun yang lalu. Titik balik yang aneh. Bagaimanapun, analisis ini memberi saya banyak kegembiraan. Lihat hasilnya 👇