gentleproperties

A gentle introduction to property-based testing