diff options
| author | Martin Nowack <m.nowack@imperial.ac.uk> | 2018-10-04 12:57:17 +0000 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2018-10-07 21:41:09 +0100 |
| commit | dc6cba8a1524fdad87660c780c9c12dcb0b38b24 (patch) | |
| tree | 3813cd63cebff6177cb737248b1b2cdb060055fa /scripts/build | |
| parent | c73749c2195a9b322c0617e7412d83904c8abc93 (diff) | |
| download | klee-dc6cba8a1524fdad87660c780c9c12dcb0b38b24.tar.gz | |
Workaround for flaky coverage
Merge unittest coverage results and system tests coverage results into one coverage report.
Diffstat (limited to 'scripts/build')
| -rwxr-xr-x | scripts/build/run-coverage.sh | 11 |
1 files changed, 6 insertions, 5 deletions
diff --git a/scripts/build/run-coverage.sh b/scripts/build/run-coverage.sh index 816b1467..ceba8216 100755 --- a/scripts/build/run-coverage.sh +++ b/scripts/build/run-coverage.sh @@ -14,11 +14,12 @@ if [[ "a$COVERAGE" != "a1" ]]; then fi function upload_coverage() { - tags=$1 - codecov_suffix=(${tags// /}) + file=$1 + tags=$2 ci_env=$(bash <(curl -s https://codecov.io/env)) - docker run ${ci_env} -ti ${REPOSITORY}/klee:${LLVM_VERSION_SHORT}${LLVM_SUFFIX}${SOLVER_SUFFIX}${DEPS_SUFFIX} /bin/bash -c "cd /home/klee/klee_src && bash <(curl -s https://codecov.io/bash) -X gcov -y /home/klee/klee_src/.codecov.yml -f /home/klee/klee_build/coverage_all.info.${codecov_suffix} -F $tags" + docker run ${ci_env} -ti ${REPOSITORY}/klee:${LLVM_VERSION_SHORT}${LLVM_SUFFIX}${SOLVER_SUFFIX}${DEPS_SUFFIX} /bin/bash -c "cd /home/klee/klee_src && bash <(curl -s https://codecov.io/bash) -X gcov -y /home/klee/klee_src/.codecov.yml -f /home/klee/klee_build/coverage_all.info.${file} -F $tags" } -upload_coverage systemtests -upload_coverage unittests +# FIXME Enable separated coverage tags again +upload_coverage systemtests systemtests_unittests +upload_coverage unittests systemtests_unittests |