/**
* @expectedException DomainException
*/
public function testShrinkOnlyAcceptsElementsOfTheDomainAsParameters()
{
$generator = new ConstantGenerator(5);
$generator->shrink(GeneratedValue::fromJustValue(10));
}
/**
* @expectedException DomainException
*/
public function testShrinkOnlyAcceptsElementsOfTheDomainAsParameters()
{
$generator = new ConstantGenerator(5);
$generator->shrink(GeneratedValue::fromJustValue(10));
}
