Eris\ExampleEnd2EndTest::testShrinkingTimeLimitTest PHP Method

    public function testShrinkingTimeLimitTest()
    {
        $this->runExample('ShrinkingTimeLimitTest.php');
        $this->assertTestsAreFailing(1);
        $executionTime = (double) $this->theTest('testLengthPreservation')->attributes()['time'];
        // one failure, two shrinking attempts
        $this->assertLessThanOrEqual(5.0, $executionTime);
    }