public function random(array $generators, callable $assertion) { $shrinker = new Random($generators, $assertion); if ($this->options['timeLimit'] !== null) { $shrinker->setTimeLimit(FixedTimeLimit::realTime($this->options['timeLimit'])); } return $shrinker; }