wikimedia / clover-diff
A tool to create a diff of two clover.xml files
2.0.0
2022-12-24 00:43 UTC
Requires
- php: >=7.4.3
- ext-simplexml: *
- symfony/console: ^5
Requires (Dev)
- mediawiki/mediawiki-codesniffer: 40.0.1
- mediawiki/mediawiki-phan-config: 0.12.0
- mediawiki/minus-x: 1.1.1
- php-parallel-lint/php-console-highlighter: 1.0.0
- php-parallel-lint/php-parallel-lint: 1.3.2
- phpunit/phpunit: ^9.5
README
A PHP tool to diff two clover.xml files.
To install:
composer require-dev wikimedia/clover-diff
Usage:
./vendor/bin/clover-diff old-clover.xml new-clover.xml
It will return with a failure status code of 1 if any file in the new report has less coverage than before.
If you want to integrate this into your application, the Differ
class takes
the filename of two XML files, and will generate a Diff
for you.
clover-diff is (C) 2018 Kunal Mehta under the terms of the GPL v3, or any later version. See COPYING for more details.