devs/cproof
1
2
Fork 1
Code Issues 43 Pull Requests 9 Actions Packages Projects 1 Releases Wiki Activity

feat: add code coverage with branch coverage
All checks were successful
CI Code / Check spelling (pull_request) Successful in 19s
Details
CI Code / Check coding style (pull_request) Successful in 39s
Details
CI Code / Code Coverage (pull_request) Successful in 15m36s
Details
CI Code / Linux (arch) (pull_request) Successful in 16m18s
Details
CI Code / Linux (debian) (pull_request) Successful in 16m44s
Details
CI Code / Linux (ubuntu) (pull_request) Successful in 17m42s
Details

Browse Source 
- Add --enable-coverage option to configure.ac
- Add coverage/coverage-html targets to Makefile.am
- Add coverage CI job with lcov + Codecov upload
- Include both unit and functional tests in coverage
- Enable branch coverage (step towards MC/DC)
- Add lcov to all Dockerfiles
- Add coverage/ to .gitignore
This commit is contained in:
jabber.developer2
2026-01-19 16:39:06 +03:00
parent 5a34a4a1d3
commit c1a60dc603
9 changed files with 57 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
Dockerfile.arch
View File

@@ -17,6 +17,7 @@ RUN pacman -S --needed --noconfirm \
check \
cmake \
cmocka \
lcov \
curl \
debuginfod \
doxygen \