public function testNoRepeatedElementsAreInTheSet() { for ($size = 0; $size < ForAll::DEFAULT_MAX_SIZE; $size++) { $generated = $this->generator->__invoke($size, $this->rand)->unbox(); $this->assertNoRepeatedElements($generated); } }