Descrição
Fornece testes baseados em propriedades para C++ no estilo QuickCheck. Ajuda desenvolvedores a descrever propriedades gerais e deixar o framework gerar muitas entradas para encontrar casos limite.
Use como biblioteca de testes. Testes gerados são mais úteis quando propriedades são precisas, reproduzíveis e acompanhadas de boa redução de casos e relatórios de falha.