RapidCheck is a C++ framework for property-based testing that generates random test data to verify...