tree c5cf12b8f10f608c617684ab932ecbf540abd335
parent 47d6cad0d7ac8a79d17f172abea9efd43a862f41
author Krzysztof Jurewicz <krzysztof.jurewicz@gmail.com> 1515073420 +0100
committer Krzysztof Jurewicz <krzysztof.jurewicz@gmail.com> 1515406873 +0100
gpgsig -----BEGIN PGP SIGNATURE-----
 
 iF0EABECAB0WIQRJuPqHRBzPEiaNp7Ekg/moXs09SAUCWlNGGgAKCRAkg/moXs09
 SAjDAJ4jFJV/ile6uqnnqUOtiwlsHbBAaQCdGLZeLm/1hBagkcU7Gqcq7T8K9NE=
 =B33o
 -----END PGP SIGNATURE-----

Increase sample size in consecutive ?SUCHTHAT attempts

Also remove a redundant invocation of property test via EUnit.