The sad state of property-based testing libraries

[stevan]

@michaelpj

I once wrote a very-mutable circular buffer using lots of array indices and suchlike, and a single property test comparing it to an existing queue implementation caught dozens of bugs, and since the generator would also produce “simple” operations, I didn’t even need to write any basic smoke/unit tests either. It was sweet.

I have a similar example in the post btw.