/**
* Write output to JUnit format if requested
*/
private function log()
{
if (!isset($this->options->filtered['log-junit'])) {
return;
}
$output = $this->options->filtered['log-junit'];
$writer = new Writer($this->interpreter, $this->options->path);
$writer->write($output);
}