public function testAlwaysFails() { $this->forAll([Generator\frequency([[8, Generator\nat(1, 100)], [4, Generator\nat(100, 200)], [4, Generator\nat(200, 300)]])])->then(function ($element) { // Expected to shrunk always to 1 $this->assertEquals(0, $element); }); }
public function testAlwaysFails() { $this->forAll(Generator\frequency([8, Generator\choose(1, 100)], [4, Generator\choose(100, 200)], [4, Generator\choose(200, 300)]))->then(function ($element) { $this->assertEquals(0, $element); }); }