public function testSequenceTest() { $this->runExample('SequenceTest.php'); $this->assertNoTestsAreRed(); }