Descrição
Fornece uma reimplementação segura do núcleo do QuickCheck. Ela é destinada a projetos que precisam de comportamento no estilo QuickCheck evitando detalhes específicos de implementação considerados inseguros ou problemáticos.
É útil para bibliotecas de teste, ambientes restritos ou bases de código com requisitos de segurança mais rígidos. É uma biblioteca de testes para desenvolvedores e roda por suítes de teste.