Description
Provides property-based testing for C++ in the style of QuickCheck. It helps developers describe general properties and let the test framework generate many inputs to find edge cases.
Use it as a testing library. Generated tests are most useful when properties are precise, reproducible, and backed by good shrinking and failure reporting.