Or, I want to use PBT, but I can never think of any properties to use UPDATE: I did a talk on property-based testing based on these posts. Slides and video here. In the previous two posts, I described the basics of property-based testing, and showed how it can save a lot of time by generating random tests. But here’s a common problem. Everyone who sees a property-based testing tool like FsCheck or
![Choosing properties for property-based testing | F# for fun and profit](https://cdn-ak-scissors.b.st-hatena.com/image/square/59895d1a196ab113a63136a36bffc945c9ffa79e/height=288;version=1;width=512/http%3A%2F%2Ffsharpforfunandprofit.com%2Fposts%2Fproperty-based-testing-2%2Fproperty_commutative.png)