Changed PHPUnit config to force @covers annotations