PHPUnit logging and coverage