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);
});
}
