ファジング/プロパティベースのテストについて: - 関数に何千もの入力を投げて、それがうまく機能することを確認することには特別なものがあります。 - これは、正式な検証と同等のプルーフ・オブ・ワークです - 生成プロパティベースのテストの反復回数を増やし、アサートする不変量を考え出すことほど満足のいくものはほとんどありません。 - プロパティベースのテストライブラリがなければ、おそらく何年も前にRustに完全に切り替えることはなかったでしょう。奇妙な変曲点。 とにかく、この分析は私に大きな喜びをもたらします。 結果👇を確認する