Php Laravel别名可以'；无法解决代码覆盖率生成问题

我有一个全新的Laravel 4设置，没有测试。我正在尝试为我们的CI服务器（运行Jenkins）设置它，所以我想要代码覆盖率。当它试图生成clover报告时，问题就出现了，因为Laravel对类使用别名

错误消息

---

没关系，这只是在没有执行任何测试时发生的错误。我用

$this->assertTrue（true）

添加了一个测试，一切正常

Generating code coverage report in Clover XML format ...
PHP Fatal error:  Class 'Eloquent' not found in <path>/app/models/User.php on line 6

<?xml version="1.0" encoding="UTF-8"?>

<phpunit backupGlobals="false"
         backupStaticAttributes="false"
         bootstrap="bootstrap/autoload.php"
         colors="true"
         convertErrorsToExceptions="true"
         convertNoticesToExceptions="true"
         convertWarningsToExceptions="true"
         processIsolation="false"
         stopOnFailure="false"
         syntaxCheck="false"
>

    <testsuites>
        <testsuite name="Test suite">
            <directory>./app/tests/</directory>
        </testsuite>
    </testsuites>

    <logging>
        <log type="coverage-html" target="build/coverage" title="coverage"
            charset="UTF-8" yui="true" highlight="true"
            lowUpperBound="35" highLowerBound="70"/>
        <log type="coverage-clover" target="build/logs/clover.xml"/>
        <log type="junit" target="build/logs/junit.xml" logIncompleteSkipped="false"/>
    </logging>

    <filter>
        <blacklist>
            <directory suffix=".php">/usr/local/</directory>
            <directory suffix=".php">/usr/share/</directory>
            <directory suffix=".php">vendor</directory>
        </blacklist>
        <whitelist processUncoveredFilesFromWhitelist="true">
            <directory suffix=".php">./app/models</directory>
            <directory suffix=".php">./app/controllers</directory>
        </whitelist>
    </filter>
</phpunit>