mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-12 04:03:39 +00:00
Code Activity

Update coverage CI (#6099)

Browse source 
Ignore errors withing `gcov` when using `gcovr`, as per
https://github.com/gcovr/gcovr/issues/627.

Co-authored-by: Andrei Lascu <al2510@bencher14.nms.kcl.ac.uk>
This commit is contained in:
AndreiL 2022-06-20 19:38:38 +01:00 committed by GitHub
parent 2fa60aa43c
commit 940d10ae6d
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
.github/workflows/coverage.yml vendored
View file

@ -76,14 +76,14 @@ jobs:
- name: Gather coverage - name: Gather coverage
run: | run: |
cd ${{github.workspace}} cd ${{github.workspace}}
gcovr --html coverage.html --gcov-executable "llvm-cov gcov" . gcovr --html coverage.html --gcov-ignore-parse-errors --gcov-executable "llvm-cov gcov" .
cd - cd -
- name: Gather detailed coverage - name: Gather detailed coverage
run: | run: |
cd ${{github.workspace}} cd ${{github.workspace}}
mkdir cov-details mkdir cov-details
gcovr --html-details ${{env.COV_DETAILS_PATH}}/coverage.html --gcov-executable "llvm-cov gcov" -r `pwd`/src --object-directory `pwd`/build gcovr --html-details ${{env.COV_DETAILS_PATH}}/coverage.html --gcov-ignore-parse-errors --gcov-executable "llvm-cov gcov" -r `pwd`/src --object-directory `pwd`/build
cd - cd -
- name: Get date - name: Get date