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

GPL-3.0-or-later

• Kunal Mehta

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.