PHPSpec и отчет о покрытии

Кто-нибудь знает способ создания отчетов о покрытии из тестов PHPSpec?

Я думал о xdebug, но, насколько мне известно, он не может генерировать отчеты для jenkins.