예제 #1
0
 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;
 }