replica
/
diffblue-cbmc
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Remove 'unit' from coverage report file

This commit is contained in:
Yumi Bagge 2019-09-18 17:11:59 +01:00
parent 1834ab66c6
commit 08d95df64a
1 changed files with 7 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

14
buildspec-linux-make-gcc-cov.yml
View File

@ -28,7 +28,7 @@ phases:
# Run unit test
- make -C unit test
- lcov --capture --directory . --output-file lcov.info
- lcov --remove lcov.info '/usr/*' --output-file lcov.info
- lcov --remove lcov.info '/usr/*' '*/unit/*' --output-file lcov.info
# If $CODEBUILD_SOURCE_VERSION starts with 'pr/', filter out pr number, if not, return empty
- VCS_PULL_REQUEST=$(echo $CODEBUILD_SOURCE_VERSION | sed '/^pr\//!d;s/^pr\///')
# If $CODEBUILD_SOURCE_VERSION is commit id, set $VCS_COMMIT_ID
@ -46,31 +46,31 @@ phases:
# regression/invariants
- make -C regression test CPROVER_WITH_PROFILING=1
- lcov --capture --directory . --output-file lcov.info
- lcov --remove lcov.info '/usr/*' --output-file lcov.info
- lcov --remove lcov.info '/usr/*' '*/unit/*' --output-file lcov.info
- bash $COV_SCRIPT -t "$CODECOV_TOKEN" -f lcov.info -c -F unit || true
# Run regression/cbmc tests with test-paths lifo option
- lcov --zerocounters --directory .
- make -C regression/cbmc test-paths-lifo
- lcov --capture --directory . --output-file lcov.info
- lcov --remove lcov.info '/usr/*' --output-file lcov.info
- lcov --remove lcov.info '/usr/*' '*/unit/*' --output-file lcov.info
- bash $COV_SCRIPT -t "$CODECOV_TOKEN" -f lcov.info -c -F cbmcreglifo || true
# Run regression/cbmc tests with test-cprover-smt2
- lcov --zerocounters
- lcov --zerocounters --directory .
- env PATH=$PATH:`pwd`/src/solvers make -C regression/cbmc test-cprover-smt2
- lcov --capture --directory . --output-file lcov.info
- lcov --remove lcov.info '/usr/*' --output-file lcov.info
- lcov --remove lcov.info '/usr/*' '*/unit/*' --output-file lcov.info
- bash $COV_SCRIPT -t "$CODECOV_TOKEN" -f lcov.info -c -F cbmcregsmt2 || true
# Run jbmc unit tests
- lcov --zerocounters --directory .
- make -C jbmc/unit test
- lcov --capture --directory . --output-file lcov.info
- lcov --remove lcov.info '/usr/*' --output-file lcov.info
- lcov --remove lcov.info '/usr/*' '*/unit/*' --output-file lcov.info
- bash $COV_SCRIPT -t "$CODECOV_TOKEN" -f lcov.info -c -F jbmcunit || true
# Run jbmc regression tests
- lcov --zerocounters --directory .
- make -C jbmc/regression test
- lcov --capture --directory . --output-file lcov.info
- lcov --remove lcov.info '/usr/*' --output-file lcov.info
- lcov --remove lcov.info '/usr/*' '*/unit/*' --output-file lcov.info
- bash $COV_SCRIPT -t "$CODECOV_TOKEN" -f lcov.info -c -F jbmcreg|| true
cache:
paths: