Descrição
Um sistema Haskell moderno de testes baseados em propriedades. Gera muitas entradas de teste, verifica se propriedades declaradas se mantêm e reduz falhas para exemplos menores e mais fáceis de entender.
Desenvolvedores o usam para testar parsers, estruturas de dados, regras de negócio e APIs além de exemplos escritos manualmente. Boas propriedades e geradores são essenciais porque a ferramenta só verifica o que os testes descrevem.