Descrição
Fornece o SmallCheck, uma biblioteca de testes baseados em propriedades para Haskell. Ela explora sistematicamente valores pequenos de entrada para encontrar contraexemplos às propriedades definidas pelo desenvolvedor.
É útil para testar algoritmos, estruturas de dados, parsers e casos de borda em que verificações pequenas e exaustivas têm valor. É uma biblioteca de desenvolvimento usada por suítes de testes automatizadas.