Property-based testing fromZeroBasedDayOfYear()

gistfile1.php

$this->forAll(
    Generator\int(2000, 2020),
    Generator\int(0, 364),
    Generator\int(0, 364)
)
->then(function($year, $dayOfYear, $anotherDayOfYear) {
    $day = fromZeroBasedDayOfYear($year, $dayOfYear);
    $anotherDay = fromZeroBasedDayOfYear($year, $anotherDayOfYear);
    $this->assertEquals(
        abs($dayOfYear - $anotherDayOfYear) * 86400,
        abs($day->getTimestamp() - $anotherDay->getTimestamp()),
        "Days of the year $year: $dayOfYear, $anotherDayOfYear" . PHP_EOL
        . "{$day->format(DateTime::ISO8601)}, {$anotherDay->format(DateTime::ISO8601)}"
    );
});