SampleTest.php
No OneTemporary
Actions

Size

478 B

Referenced Files

None

Subscribers

None

SampleTest.php
View Options

	<?php

	namespace Eris;

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

	public function testWithGeneratorSize()
	{
	$times = 100;
	$generatorSize = 100;
	$generator = Generators::suchThat(function ($n) {
	return $n > 10;
	}, Generators::nat());
	$sample = $this->sample($generator, $times, $generatorSize);
	$this->assertNotEmpty(count($sample->collected()));
	}
	}

File Metadata

Mime Type: text/x-php
Expires: Sat, May 16, 20:04 (3 h, 4 m)
Storage Engine: local-disk
Storage Format: Raw Data
Storage Handle: 0f/ba/32cab32c0e17760e9f51c53c1a3d
Default Alt Text: SampleTest.php (478 B)

Event Timeline