Eris\ExampleEnd2EndTest::testShrinkingAndAntecedentsTests PHP Метод

    public function testShrinkingAndAntecedentsTests()
    {
        $this->runExample('ShrinkingTest.php');
        $this->assertTestsAreFailing(2);
        $this->assertRegExp("/Failed asserting that .* does not contain \"B\"/", (string) $this->theTest('testShrinkingAString')->failure);
        $this->assertRegExp("/The number 11 is not multiple of 29/", (string) $this->theTest('testShrinkingRespectsAntecedents')->failure, "It seems there is a problem with shrinking: we were expecting an error message containing '11' since it's the lowest value in the domain that satisfies the antecedents.");
    }