wikimedia/clover-diff
A tool to create a diff of two clover.xml files
Maintainers
v2.0.2
2025-05-20 13:57 UTC
Requires
- php: >=7.4.3
- ext-simplexml: *
- symfony/console: ^5 || ^6 || ^7
Requires (Dev)
- ext-zlib: *
- mediawiki/mediawiki-codesniffer: 47.0.0
- mediawiki/mediawiki-phan-config: 0.15.1
- mediawiki/minus-x: 1.1.3
- php-parallel-lint/php-console-highlighter: 1.0.0
- php-parallel-lint/php-parallel-lint: 1.4.0
- phpunit/phpunit: 9.6.21
- wikimedia/scoped-callback: ^5
Suggests
None
Provides
None
Conflicts
None
Replaces
None
GPL-3.0-or-later b73ed48bfb97421531e4a2db74cbcb999aedf41a
- Kunal Mehta <legoktm.woop@debian.org>
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.