IntegerTest.php
No OneTemporary
Actions

Size

1 KB

Referenced Files

None

Subscribers

None

IntegerTest.php
View Options

	<?php

	use Eris\Generators;
	use Eris\TestTrait;

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

	public function testSumIsCommutative()
	{
	$this->forAll(
	Generators::int(),
	Generators::int()
	)
	->then(function ($first, $second) {
	$x = $first + $second;
	$y = $second + $first;
	$this->assertEquals(
	$x,
	$y,
	"Sum between {$first} and {$second} should be commutative"
	);
	});
	}

	public function testSumIsAssociative()
	{
	$this->forAll(
	Generators::int(),
	Generators::neg(),
	Generators::pos()
	)
	->then(function ($first, $second, $third) {
	$x = $first + ($second + $third);
	$y = ($first + $second) + $third;
	$this->assertEquals(
	$x,
	$y,
	"Sum between {$first} and {$second} should be associative"
	);
	});
	}

	public function testByteData()
	{
	$this->forAll(
	Generators::byte()
	)
	->then(function ($byte) {
	$this->assertTrue(
	$byte >= 0 && $byte <= 255,
	"$byte is not a valid value for a byte"
	);
	});
	}
	}