public function testNoRepeatedElementsAreInTheSet()
{
$generator = new SetGenerator($this->singleElementGenerator);
for ($size = 0; $size < 10; $size++) {
$generated = $generator($size, $this->rand)->unbox();
$this->assertNoRepeatedElements($generated);
}
}