CollectTest.php
No OneTemporary
Actions

Size

1 KB

Referenced Files

None

Subscribers

None

CollectTest.php
View Options

	<?php

	use Eris\Generators;
	use Eris\Listeners;
	use Eris\TestTrait;

	class CollectTest extends \PHPUnit\Framework\TestCase
	{
	use TestTrait;

	public function testGeneratedDataCollectionOnScalars()
	{
	$this
	->forAll(Generators::neg())
	->hook(Listeners::collectFrequencies())
	->then(function ($x) {
	$this->assertTrue($x < $x + 1);
	});
	}

	public function testGeneratedDataCollectionOnMoreComplexDataStructures()
	{
	$this
	->forAll(
	Generators::vector(2, Generators::int()),
	Generators::char()
	)
	->hook(Listeners::collectFrequencies())
	->then(function ($vector) {
	$this->assertEquals(2, count($vector));
	});
	}

	public function testGeneratedDataCollectionWithCustomMapper()
	{
	$this
	->forAll(
	Generators::seq(Generators::nat())
	)
	->withMaxSize(10)
	->hook(Listeners::collectFrequencies(function ($array) {
	return count($array);
	}))
	->then(function ($array) {
	$this->assertEquals(count($array), count(array_reverse($array)));
	});
	}
	}