1 crates が見つかりました。
Rust向けのproperty-based testingフレームワーク。ランダム入力を生成し、コードの性質を検査し、失敗時には最小の再現ケースへ自動シュリンクする。