jmid/pbt-frameworks

An overview of property-based testing functionality