Expand description
Statistics collection and analysis for property-based testing.
Structsยง
- Coverage
Thresholds Builder - Builder for creating coverage thresholds
- Statistics
Collector - Statistics collector that tracks generation patterns and performance