Suporte SmallCheck para o pacote de teste
