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