mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-05 17:14:07 +00:00
Code Activity

Update coverage github action (#5483)

Browse source 
* Correctly emits simple and detailed coverage reports using a
  combination of `gcovr` and `llvm-cov gcov`
* Uploads the reports as associated artifacts, with 4 days of retention
* Executes on every `master` push, and daily at 11 UTC

Co-authored-by: Andrei Lascu <andrei.lascu10@imperial.ac.uk>
This commit is contained in:
0152la 2021-08-16 22:13:28 +01:00 committed by GitHub
parent c8a83749dd
commit 3516c5272a
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 20 additions and 10 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

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

@ -6,10 +6,6 @@ on:
schedule: schedule:
- cron: "0 11 * * *" - cron: "0 11 * * *"
env:
BUILD_TYPE: Debug
CMAKE_GENERATOR: Ninja
jobs: jobs:
build: build:
runs-on: ubuntu-latest runs-on: ubuntu-latest
@ -17,6 +13,9 @@ jobs:
env: env:
CC: clang CC: clang
CXX: clang++ CXX: clang++
BUILD_TYPE: Debug
CMAKE_GENERATOR: Ninja
COV_DETAILS_PATH: ${{github.workspace}}/cov-details
steps: steps:
- uses: actions/checkout@v2 - uses: actions/checkout@v2
@ -25,14 +24,13 @@ jobs:
run: | run: |
sudo apt-get remove -y --purge man-db sudo apt-get remove -y --purge man-db
sudo apt-get update -y sudo apt-get update -y
sudo apt-get install -y gcovr ninja-build sudo apt-get install -y gcovr ninja-build llvm clang
## Building ## Building
- name: Configure CMake Z3 - name: Configure CMake Z3
run: CFLAGS=="--coverage" CXXFLAGS="--coverage" LDFLAGS="-lgcov" cmake -B ${{github.workspace}}/build -DCMAKE_BUILD_TYPE=${{env.BUILD_TYPE}} -DCMAKE_INSTALL_PREFIX=./install run: CFLAGS=="--coverage" CXXFLAGS="--coverage" LDFLAGS="-lgcov" cmake -B ${{github.workspace}}/build -DCMAKE_BUILD_TYPE=${{env.BUILD_TYPE}} -DCMAKE_INSTALL_PREFIX=./install
- name: Build Z3 - name: Build Z3
# Build your program with the given configuration
run: cmake --build ${{github.workspace}}/build --target install --config ${{env.BUILD_TYPE}} run: cmake --build ${{github.workspace}}/build --target install --config ${{env.BUILD_TYPE}}
- name: Build test-z3 - name: Build test-z3
@ -75,8 +73,14 @@ jobs:
- name: Gather coverage - name: Gather coverage
run: | run: |
cd ${{github.workspace}} cd ${{github.workspace}}
gcovr gcovr --html coverage.html --gcov-executable "llvm-cov gcov" .
#gcovr --html -o coverage.html . cd -
- name: Gather detailed coverage
run: |
cd ${{github.workspace}}
mkdir cov-details
gcovr --html-details ${{env.COV_DETAILS_PATH}}/coverage.html --gcov-executable "llvm-cov gcov" -r `pwd`/src --object-directory `pwd`/build
cd - cd -
- name: Get date - name: Get date
@ -86,5 +90,11 @@ jobs:
- uses: actions/upload-artifact@v2 - uses: actions/upload-artifact@v2
with: with:
name: coverage-${{steps.date.outputs.date}} name: coverage-${{steps.date.outputs.date}}
path: coverage.html path: ${{github.workspace}}/coverage.html
retention-days: 10 retention-days: 4
- uses: actions/upload-artifact@v2
with:
name: coverage-details-${{steps.date.outputs.date}}
path: ${{env.COV_DETAILS_PATH}}
retention-days: 4