Eris\Generator\TupleGeneratorTest::testShrink PHP Method

    public function testShrink()
    {
        $generator = new TupleGenerator([$this->generatorForSingleElement, $this->generatorForSingleElement]);
        $elements = $generator->__invoke($this->size, $this->rand);
        $elementsAfterShrink = $generator->shrink($elements);
        $this->assertTrue($this->generatorForSingleElement->contains(GeneratedValue::fromJustValue($elementsAfterShrink->unbox()[0])));
        $this->assertTrue($this->generatorForSingleElement->contains(GeneratedValue::fromJustValue($elementsAfterShrink->unbox()[1])));
        $this->assertLessThan($elements->unbox()[0] + $elements->unbox()[1], $elementsAfterShrink->unbox()[0] + $elementsAfterShrink->unbox()[1]);
    }