Page MenuHomeWickedGov Phorge

SortTest.php
No OneTemporary

Size
614 B
Referenced Files
None
Subscribers
None

SortTest.php

<?php
use Eris\Generators;
class SortTest extends \PHPUnit\Framework\TestCase
{
use Eris\TestTrait;
public function testArraySorting()
{
$this
->forAll(
Generators::seq(Generators::nat())
)
->then(function ($array) {
sort($array);
for ($i = 0; $i < count($array) - 1; $i++) {
$this->assertTrue(
$array[$i] <= $array[$i+1],
"Array is not sorted: " . var_export($array, true)
);
}
});
}
}

File Metadata

Mime Type
text/x-php
Expires
Sat, Oct 3, 18:15 (14 h, 14 m)
Storage Engine
local-disk
Storage Format
Raw Data
Storage Handle
df/5b/ce5fd4323afd35e96c41565c3110
Default Alt Text
SortTest.php (614 B)

Event Timeline