Skip to content

Commit

Permalink
🐛 manually run gcov
Browse files Browse the repository at this point in the history
Signed-off-by: Lukas Burgholzer <[email protected]>
  • Loading branch information
burgholzer committed Jan 6, 2022
1 parent 65b2016 commit a4342e9
Showing 1 changed file with 12 additions and 10 deletions.
22 changes: 12 additions & 10 deletions .github/workflows/ci.yml
Original file line number Diff line number Diff line change
Expand Up @@ -67,16 +67,18 @@ jobs:
run: ctest -C $BUILD_TYPE --output-on-failure

- name: Coverage
run: |
export LD_LIBRARY_PATH=$LD_LIBRARY_PATH:/opt/python/cp39-cp39/lib/python3.9/site-packages/z3/lib
export Z3_ROOT=/opt/python/cp39-cp39/lib/python3.9/site-packages/z3
export Z3_DIR=/opt/python/cp39-cp39/lib/python3.9/site-packages/z3
cmake -S "${{github.workspace}}" -B "${{github.workspace}}/buildCov" -DCMAKE_BUILD_TYPE=Debug -DBUILD_QMAP_TESTS=ON -DCOVERAGE=ON -DBINDINGS=ON
cmake --build "${{github.workspace}}/buildCov" --config Debug --target qmap_exact_test
cmake --build "${{github.workspace}}/buildCov" --config Debug --target qmap_heuristic_test
cd buildCov/test
ctest -C $BUILD_TYPE --output-on-failure
run: |
export LD_LIBRARY_PATH=$LD_LIBRARY_PATH:/opt/python/cp39-cp39/lib/python3.9/site-packages/z3/lib
export Z3_ROOT=/opt/python/cp39-cp39/lib/python3.9/site-packages/z3
export Z3_DIR=/opt/python/cp39-cp39/lib/python3.9/site-packages/z3
cmake -S "${{github.workspace}}" -B "${{github.workspace}}/buildCov" -DCMAKE_BUILD_TYPE=Debug -DBUILD_QMAP_TESTS=ON -DCOVERAGE=ON -DBINDINGS=ON
cmake --build "${{github.workspace}}/buildCov" --config Debug --target qmap_exact_test
cmake --build "${{github.workspace}}/buildCov" --config Debug --target qmap_heuristic_test
cd buildCov/test
ctest -C $BUILD_TYPE --output-on-failure
- name: Run gcov
run: |
find . -type f -name '*.gcno' -exec gcov -p {} +
- name: Upload coverage to Codecov
uses: codecov/[email protected]

Expand Down

0 comments on commit a4342e9

Please sign in to comment.