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