關於模糊測試/基於屬性的測試： - 隨意向一個函數輸入成千上萬的輸入並觀察其是否正常工作，這其中有些特別之處。 - 這相當於形式驗證的工作量證明。 - 沒有什麼比增加生成性基於屬性的測試的迭代次數並得出不變式來進行斷言更令人滿意的了。 - 如果沒有基於屬性的測試庫，我可能早在幾年前就不會完全轉向Rust。這是一個奇怪的轉折點。 無論如何，這個分析給我帶來了很多快樂。 查看結果 👇