예제 #1
0
 private function flushWorker(Worker $worker)
 {
     if ($this->hasCoverage()) {
         $this->getCoverage()->addCoverageFromFile($worker->getCoverageFileName());
     }
     $worker->printFeedback($this->printer);
     $worker->reset();
 }