Create coverage data with HAVE_RULES=yes (#2612)

This commit is contained in:
amai2012 2020-04-19 11:04:02 +02:00 committed by GitHub
parent c837e4ba12
commit 582f33ea5e
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 2 additions and 2 deletions

View File

@ -22,7 +22,7 @@ jobs:
- name: Compile instrumented
run: |
make test CXXFLAGS="-g -fprofile-arcs -ftest-coverage" USE_Z3=yes -j2
make test CXXFLAGS="-g -fprofile-arcs -ftest-coverage" USE_Z3=yes HAVE_RULES=yes -j$(nproc)
- name: Generate coverage report
run: |
@ -41,7 +41,7 @@ jobs:
- uses: codecov/codecov-action@v1
with:
token: ${{ secrets.CODECOV_TOKEN }} # not required for public repos
# token: ${{ secrets.CODECOV_TOKEN }} # not required for public repos
# file: ./coverage.xml # optional
flags: unittests # optional
name: ${{ github.repository }} # optional