mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-06 17:44:08 +00:00
Code Activity

Update coverage.yml

Browse source
This commit is contained in:
Nikolaj Bjorner 2021-07-31 14:56:20 -07:00 committed by GitHub
parent 84e628cf74
commit ada873631e
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 3 additions and 17 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

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

@ -1,4 +1,4 @@
name: CodeCoverage name: Code Coverage
on: on:
push: push:
@ -7,24 +7,16 @@ on:
branches: [ master ] branches: [ master ]
env: env:
# Customize the CMake build type here (Release, Debug, RelWithDebInfo, etc.)
BUILD_TYPE: Debug BUILD_TYPE: Debug
jobs: jobs:
build: build:
# The CMake configure and build commands are platform agnostic and should work equally
# well on Windows or Mac. You can convert this to a matrix build if you need
# cross-platform coverage.
# See: https://docs.github.com/en/free-pro-team@latest/actions/learn-github-actions/managing-complex-workflows#using-a-build-matrix
runs-on: ubuntu-latest runs-on: ubuntu-latest
steps: steps:
- uses: actions/checkout@v2 - uses: actions/checkout@v2
- name: Configure CMake - name: Configure CMake
# Configure CMake in a 'build' subdirectory. `CMAKE_BUILD_TYPE` is only required if you are using a single-configuration generator such as make.
# See https://cmake.org/cmake/help/latest/variable/CMAKE_BUILD_TYPE.html?highlight=cmake_build_type
# run: CXXFLAGS=--coverage LDFLAGS=-lgcov CC=clang CXX=clang++ cmake -B ${{github.workspace}}/build -DCMAKE_BUILD_TYPE=${{env.BUILD_TYPE}} -DCMAKE_INSTALL_PREFIX=./install -G "Ninja" ${{github.workspace}}
run: CXXFLAGS=--coverage LDFLAGS=-lgcov CC=clang CXX=clang++ cmake -B ${{github.workspace}}/build -DCMAKE_BUILD_TYPE=${{env.BUILD_TYPE}} -DCMAKE_INSTALL_PREFIX=./install run: CXXFLAGS=--coverage LDFLAGS=-lgcov CC=clang CXX=clang++ cmake -B ${{github.workspace}}/build -DCMAKE_BUILD_TYPE=${{env.BUILD_TYPE}} -DCMAKE_INSTALL_PREFIX=./install
- name: Build - name: Build
@ -34,15 +26,9 @@ jobs:
- name: Clone z3test - name: Clone z3test
run: git clone https://github.com/z3prover/z3test z3test run: git clone https://github.com/z3prover/z3test z3test
# - name: Run regressions - name: Run regressions
# run: python z3test/scripts/test_benchmarks.py build/z3 z3test/regressions/smt2 run: python z3test/scripts/test_benchmarks.py build/z3 z3test/regressions/smt2
- name: Run coverage - name: Run coverage
run: python z3test/scripts/test_coverage_tests.py ./install z3test/coverage/cpp run: python z3test/scripts/test_coverage_tests.py ./install z3test/coverage/cpp
- name: Test
working-directory: ${{github.workspace}}/build
# Execute tests defined by the CMake configuration.
# See https://cmake.org/cmake/help/latest/manual/ctest.1.html for more detail
run: ctest -C ${{env.BUILD_TYPE}}