I can somewhat understand, because this is kind of the goal of property based testing—the actual values themselves matter so little to the test that you’re will

I can somewhat understand, because this is kind of the goal of property based testing—the actual values themselves matter so little to the test that you’re willing to subject those inputs to randomness That said, this doesn’t sound like a very good way to pull that off because the developer has no control over that randomness (where it’s needed greatly).