/** * @expectedException DomainException */ public function testCannotShrinkSomethingThatIsNotContainedInDomain() { $aString = 'a string'; $this->assertFalse($this->singleElementGenerator->contains($aString)); $generator = new Sequence($this->singleElementGenerator); $generator->shrink([$aString]); }