1
0
mirror of https://github.com/danog/psalm.git synced 2025-01-22 05:41:20 +01:00

Migrate PHPUnit configuration (#4710)

Co-authored-by: Gijs de Jong <gijs.de.jong@munisense.com>
This commit is contained in:
gdejong 2020-11-26 21:23:10 +01:00 committed by GitHub
parent 6de97e3779
commit a183aafadc
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -11,15 +11,10 @@
verbose="true"
executionOrder="random"
>
<testsuites>
<testsuite name="psalm">
<directory>tests</directory>
</testsuite>
</testsuites>
<filter>
<whitelist processUncoveredFilesFromWhitelist="true">
<coverage processUncoveredFiles="true">
<include>
<directory suffix=".php">src</directory>
</include>
<exclude>
<directory suffix=".php">src/Psalm/Issue/</directory>
<directory suffix=".php">src/Psalm/Internal/Stubs/</directory>
@ -42,12 +37,15 @@
<file>src/Psalm/Internal/Provider/FileStorageCacheProvider.php</file>
<file>src/Psalm/Internal/Provider/ParserCacheProvider.php</file>
</exclude>
</whitelist>
</filter>
<report>
<clover outputFile="build/logs/clover.xml"/>
<html outputDirectory="build/logs/phpunit-html/"/>
</report>
</coverage>
<logging>
<log type="coverage-clover" target="build/logs/clover.xml"/>
<log type="coverage-html" target="build/logs/phpunit-html/"/>
</logging>
<testsuites>
<testsuite name="psalm">
<directory>tests</directory>
</testsuite>
</testsuites>
</phpunit>