You might want to check this thread: Questions about Property Testing / Stream Data, so I can’t seem quickly to spot a clear reason for why it was ultimately decided to not include tools for property testing in the standard library. I remember Jose Valim mentioning a reason elsewhere though
2 Likes