mirror of
https://git.jabber.space/devs/cproof.git
synced 2026-07-19 08:26:21 +00:00
- Add --enable-coverage option to configure.ac - Add coverage and coverage-html targets to Makefile.am - Add coverage CI job with Codecov upload - Add lcov to all Dockerfiles (arch, debian, fedora, tumbleweed, ubuntu) Usage: ./configure --enable-coverage make check make coverage-html