mirror of
https://git.jabber.space/devs/cproof.git
synced 2026-07-23 12:36:21 +00:00
feat: add code coverage with branch coverage
- Add --enable-coverage configure option - Add lcov targets for generating coverage reports - Enable branch coverage (--rc branch_coverage=1) - Install lcov in all Docker images - Coverage report displayed via lcov --summary (no Codecov - doesn't work with Gitea)
This commit is contained in:
14
Makefile.am
14
Makefile.am
@@ -386,6 +386,20 @@ check-unit: tests/unittests/unittests
|
||||
@VALGRIND_CHECK_RULES@
|
||||
VALGRIND_SUPPRESSIONS_FILES=prof.supp
|
||||
|
||||
# Code coverage targets (requires --enable-coverage)
|
||||
coverage-clean:
|
||||
find . -name '*.gcda' -delete
|
||||
find . -name '*.gcno' -delete
|
||||
rm -rf coverage-html coverage.info
|
||||
|
||||
coverage-report: check
|
||||
lcov --capture --directory . --output-file coverage.info --ignore-errors inconsistent
|
||||
lcov --remove coverage.info '/usr/*' '*/tests/*' --output-file coverage.info --ignore-errors inconsistent
|
||||
genhtml coverage.info --output-directory coverage-html
|
||||
@echo "Coverage report generated in coverage-html/index.html"
|
||||
|
||||
.PHONY: coverage-clean coverage-report
|
||||
|
||||
format: $(all_c_sources)
|
||||
clang-format -i $(all_c_sources)
|
||||
|
||||
|
||||
Reference in New Issue
Block a user