Property-based testing

このトピックを指定するにはpropertybasedtestiと入力