public function testSetsOfAnotherGeneratorsDomain()
{
$this->forAll(Generator\set(Generator\nat()))->then(function ($set) {
$this->assertInternalType('array', $set);
foreach ($set as $element) {
$this->assertGreaterThanOrEqual(0, $element);
}
});
}
public function testSubsetsOfASet()
{
$this->forAll(Generator\set([2, 4, 6, 8, 10]))->withMaxSize(6)->then(function ($set) {
$this->assertInternalType('array', $set);
foreach ($set as $element) {
$this->assertTrue($this->isEven($element), "Element {$element} is not even, where did it come from?");
}
});
}
